ConferenceProgram
Generative Programming and Component Engineering
September 24, 2012
FOSD
September 25, 2012
FOSD
SLE Doctoral Symposium
GPCE
| 18:15 | GPCE/SLE/FOSD Welcome Reception |
September 26, 2012
SLE
GPCE
| 09:10-09:15 | Opening |
| 09:15-10:15 | Keynote |
| Session Chair: Walter Binder | |
| Éric Tanter: Taming Aspects | |
| 10:15-10:45 | Coffee |
| 10:45-12:15 | Session 1: Software Product Lines; Features |
| Session Chair: Christian Kästner | |
| Ferruccio Damiani, Luca Padovani, and Ina Schaefer: A Formal Foundation for Dynamic Delta-Oriented Software Product Lines | |
| Thomas Thüm, Ina Schaefer, Sven Apel, and Martin Hentschel: Family-Based Deductive Verification of Software Product Lines | |
| Uwe Ryssel, Joern Ploennigs, and Klaus Kabitzsch: Reasoning of Feature Models from Derived Features | |
| 12:15-13:45 | Lunch |
| 13:45-15:15 | Session 2: Generation |
| Session Chair: Michael Franz | |
| Derek Rayside, Vajihollah Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, and Daniel Jackson: Synthesizing Iterators from Abstraction Functions | |
| Geoffrey C. Hulette, Matthew Sottile, and Allen D. Malony: Composing Typemaps in Twig | |
| Eyvind W. Axelsen and Stein Krogdahl: Package Templates: A Definition by Semantics-Preserving Source-to-Source Transformations to Efficient Java Code | |
| 15:15-15:45 | Coffee |
| 15:45-17:15 | Session 3: Software Components; Libraries |
| Session Chair: Julia Lawall | |
| Petr Spacek, Christophe Dony, Chouki Tibermacine, and Luc Fabresse: An Inheritance System for Structural & Behavioral Reuse in Component-based Software Programming | |
| Huaxi (Yulin) Zhang, Lei Zhang, Christelle Urtado, Sylvain Vauttier, and Marianne Huchard: A Three-level Component Model in Component Based Software Development | |
| John Freeman, Jaakko Järvi, and Gabriel Foust: HotDrink: A Library for Web User Interfaces | |
| 19:30 | GPCE/SLE Dinner, Sophienkeller im Taschenbergpalais |
September 27, 2012
SLE
GPCE
| 09:15-10:15 | Keynote |
| Session Chair: Klaus Ostermann | |
| Oege de Moor: Analysing Contributions | |
| 10:15-10:45 | Coffee |
| 10:45-12:15 | Session 4: Software Architectures; Adaptation |
| Session Chair: Ina Schaefer | |
| Taylor L Riché, Rui Gonçalves, Bryan Marker, and Don Batory: Pushouts in Software Architecture Design | |
| Hamid Bagheri and Kevin Sullivan: Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications | |
| Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto: Faster Program Adaptation Through Reward Attribution Inference | |
| 12:15-13:45 | Lunch |
| 13:45-15:15 | Session 5: Languages and Language Theory |
| Session Chair: Bernd Fischer | |
| Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Wilhelm Hasselbring, Robert von Massow, and Michael Hanus: Xbase: Implementing Domain-Specific Languages for Java | |
| Jon Rafkind and Matthew Flatt: Honu: Syntactic Extension for Algebraic Notation through Enforestation | |
| Eric Walkingshaw and Martin Erwig: A Calculus for Modeling and Implementing Variation | |
| 15:15-15:45 | Coffee |
| 15:45-16:45 | Tech talk |
| Session Chair: Klaus Ostermann | |
| Christian Kästner and Sven Apel: An Introduction to Variability-Aware Analysis | |
| 16:45-16:55 | Closing |
September 28, 2012
SLE