Accepted Papers

• Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line
• Sven Apel and Don Batory. When to Use Features and Aspects -- A Case Study
• Eli Tilevich and Yannis Smaragdakis. Transparent Program Transformations in the Presence of Opaque Code
• Walter Binder and Jarle Hulaas. Flexible and Efficient Measurement of Dynamic Bytecode Metrics
• Edwin Brady and Kevin Hammond. A Verified Staged Interpreter is a Verified Compiler
• Alexander Stuckenholz and Andre Osterloh. Safe Component Updates
• Janina Reeder and Robert Giegerich. A graphical programming system for molecular motif search
• Frances Spalding, Limin Jia and David walker. Expressing Heap-shape Contracts in Linear Logic
• Ewen Denney and Bernd Fischer. A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code
• Westley Weimer. Patches as Better Bug Reports
• Jorge Mascena, Silvio Meira, Eduardo Almeida and Vinicius Cardoso Garcia. Towards an Effective Integrated Reuse Environment
• Christian Prehofer. Semantic Reasoning about Feature Composition via multiple Aspect-weavings
• Peter Barron and Vinny Cahill. YABS: A Domain-Specific Language for Pervasive Computing based on Stigmergy
• Daniel Fontijne. Gaigen 2: Geometric Algebra Implementation Generator
• Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba and Carlos Lucena. Refactoring Product Lines
• Zoltan Porkolab, Jozsef Mihalicza and Adam Sipos. Debugging C++ Template Metaprograms
• Gabriel Moreno. Creating Custom Containers with Generative Techniques
• Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba and Rei Ishikawa. A Dynamic Aspect-oriented System for OS Kernels
• Jonathan Riehl. Assimilating MetaBorg^?: Embedding language tools in languages.
• Rui Shi, Chiyan Chen and Hongwei Xi. Distributed Meta-Programming (extended abstract)
• Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for program generation
• Manuel Fahndrich, Michael Carbin and James Larus. Reflective Program Generation with Patterns
• Marcos Viera and Alberto Pardo. A Multi-Stage Language with Intensional Analysis
• Frédéric Jouault, Jean Bézivin and Ivan Kurtev. TCS: a DSL for the Specification of Textual Concrete Syntaxes in Model Engineering
• John Reppy and Chunyan Song. Application-specific foreign-interface generation
• Ralf Laemmel and Klaus Ostermann. Software Extension and Integration with Type Classes - A tutorial for functional and OO programmers
• David Broman, Peter Fritzson and Kaj Nyström. Determining Over- and Under-Constrained Systems of\\Equations using Structural Constraint Delta
• Anya Helene Bagge, Valentin David, Karl Trygve Kalleberg and Magne Haveraaen. Flexible Exception Handling
• Krzysztof Czarnecki and Krzysztof Pietroszek. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints
• Rémi Douence, Didier Le Botlan, Jacques Noyé and Mario Sudholt. Concurrent Aspects

TechnicalPaperSchedule