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