*Tuesday, October 24*

   * 8:30-10:00 *Technical papers: Staging*  Session chair: Eelco Visser
      * Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for program generation
      * Marcos Viera and Alberto Pardo. A Multi-Stage Language with Intensional Analysis
      * Jonathan Riehl. Assimilating MetaBorg: Embedding language tools in languages

   * 10:30-12:00 *Technical papers: Components*  Session chair: Don Batory
      * Gabriel Moreno. Creating Custom Containers with Generative Techniques
      * Alexander Stuckenholz and Andre Osterloh. Safe Component Updates
      * John Reppy and Chunyan Song. Application-specific foreign-interface generation

   * 15:30-17:00 *Technical papers: Advanced Aspects* Session Chair: Shigeru Chiba
      * Sven Apel and Don Batory. When to Use Features and Aspects -- A Case Study
      * Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba and Rei Ishikawa. A Dynamic Aspect-oriented System for OS Kernels
      * Rémi Douence, Didier Le Botlan, Jacques Noyé and Mario Sudholt. Concurrent Aspects
   
*Wednesday, October 25*

   * 08:30-09:30 *Keynote speaker*: Krzysztof Czarnecki

   * 09:30-10:10 *Short papers* Session Chair: Ira Baxter
      * Eli Tilevich and Yannis Smaragdakis. Transparent Program Transformations in the Presence of Opaque Code
      * Jorge Mascena, Silvio Meira, Eduardo Almeida and Vinicius Cardoso Garcia. Towards an Effective Integrated Reuse Environment

   * 10:30-12:00 *Technical papers: Safety and Verification* Session Chair: Yannis Smaragdakis
      * Frances Perry, Limin Jia and David Walker. Expressing Heap-shape Contracts in Linear Logic
      * Edwin Brady and Kevin Hammond. A Verified Staged Interpreter is a Verified Compiler
      * Ewen Denney and Bernd Fischer. A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code

   * 13:00-15:00 *Technical papers: Applications* Session Chair: Bernd Fischer
      * Janina Reeder and Robert Giegerich. A graphical programming system for molecular motif search
      * Daniel Fontijne. Gaigen 2: Geometric Algebra Implementation Generator
      * David Broman, Peter Fritzson and Kaj Nyström. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta
      * Peter Barron and Vinny Cahill. YABS: A Domain-Specific Language for Pervasive Computing based on Stigmergy

   * 15:30-17:00 *Technical papers: Measurement and Evaluation* Session Chair: Jeff Gray
      * Ralf Laemmel and Klaus Ostermann. Software Extension and Integration with Type Classes - A tutorial for functional and OO programmers
      * Walter Binder and Jarle Hulaas. Flexible and Efficient Measurement of Dynamic Bytecode Metrics
      * Westley Weimer. Patches as Better Bug Reports

*Thursday, October 26*

   * 10:30-12:00 *Technical papers: Program Families*  Session Chair: Kevin Hammond
      * Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line
      * Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba and Carlos Lucena. Refactoring Product Lines
      * Krzysztof Czarnecki and Krzysztof Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints

   * 13:00-14:00 *Panel session:* Enhanced Languages to Aid Verification
      * Gary T. Leavens (Iowa State)
      * Don Batory (U. of Texas, Austin)
      * Gilad Bracha (Sun Microsystems)
      * Walid Taha (Rice University)

   * 14:00-15:00 *Short papers*  Session Chair: Douglas Schmidt
      * Christian Prehofer. Semantic Reasoning about Feature Composition via multiple Aspect-weavings
      * Rui Shi, Chiyan Chen and Hongwei Xi. Distributed Meta-Programming
      * Frédéric Jouault, Jean Bézivin and Ivan Kurtev. TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering

   * 15:30-17:00 *Technical papers: Compilation*  Session Chair: Samuel Kamin
      * Zoltan Porkolab, Jozsef Mihalicza and Adam Sipos. Debugging C++ Template Metaprograms
      * Anya Helene Bagge, Valentin David, Karl Trygve Kalleberg and Magne Haveraaen. Flexible Exception Handling
      * Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns