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