AcceptedPapers
Generative Programming: Concepts and Experiences
- Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Wilhelm Hasselbring, Robert von Massow, and Michael Hanus: Xbase: Implementing Domain-Specific Languages for Java
- Taylor Riche, Rui Goncalves, Bryan Marker, and Don Batory: Pushouts in Software Architecture Design
- Petr Spacek, Christophe Dony, Chouki Tibermacine, and Luc Fabresse: An Inheritance System for Structural & Behavioral Reuse in Component-based Software Programming
- Ferruccio Damiani, Luca Padovani, and Ina Schaefer: A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
- Hamid Bagheri and Kevin Sullivan: Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications
- Uwe Ryssel, Joern Ploennigs, and Klaus Kabitzsch: Reasoning of Feature Models from Derived Features
- Thomas Thüm, Ina Schaefer, Sven Apel, and Martin Hentschel: Family-Based Deductive Verification of Software Product Lines
- Jon Rafkind and Matthew Flatt: Honu: Syntactic Extension for Algebraic Notation through Enforestation
- Derek Rayside, Vajihollah Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, and Daniel Jackson: Synthesizing Iterators from Abstraction Functions
- Geoffrey Hulette, Matthew Sottile, and Allen Malony: Composing Typemaps in Twig
- Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto: Faster Program Adaptation Through Reward Attribution Inference
- Eric Walkingshaw and Martin Erwig: A Calculus for Modeling and Implementing Variation
- Eyvind W. Axelsen and Stein Krogdahl: Package Templates: A Definition by Semantics-Preserving Source-to-Source Transformations to Efficient Java Code
- John Freeman, Jaakko Järvi, and Gabriel Foust: HotDrink: A Library for Web User Interfaces
- Huaxi Yulin Zhang, Lei Zhang, Christelle Urtado, Sylvain Vauttier, and Marianne Huchard: A Three-level Component Model in Component Based Software Development