Seventh International Conference on Generative Programming and Component Engineering (GPCE'08)
(co-located with OOPSLA 2008)
* Only Six Days Left for Early Registration *
*** CALL FOR PARTICIPATION
Generative and component approaches are revolutionizing software development similar to how automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write, maintain, and analyze) are key technologies for automating program development.
GPCE provides a venue for researchers and practitioners interested in foundational techniques for enhancing the productivity, quality, and time-to-market in software development that stems from deploying standard components and automating program generation. In addition to exploring cutting-edge techniques for developing generative and component-based software, our goal is to foster further cross-fertilization between the software engineering research community and the programming languages community.
GPCE 2008 will be co-located with OOPSLA, in Nashville, Tennessee. The GPCE technical program will take place on Oct. 19-20, before the OOPSLA technical program begins. Other GPCE events (workshops and tutorials) will run in parallel with OOPSLA events on Oct 21-23. GPCE'08 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT. GPCE'08 proceedings published by ACM Press.
* Emerging Challenges for Large Scale Systems Integration Dr. Andrew Fano (Accenture)
10:30-12:00 Technical papers 1 Session Chair: Julia Lawall
* Code Generation to Support Static and Dynamic Composition of Software Product Lines Marko Rosenmueller, Norbert Siegmund, Sven Apel and Gunter Saake. * Efficient Compilation Techniques for Large Scale Feature Models Marcilio Mendonca, Andrzej Wasowski, Krzysztof Czarnecki and Don Cowan. * On the Modularity of Feature Interactions Chang Hwan Peter Kim, Christian Kaestner and Don Batory.
13:30-15:00 Technical papers 2 Session Chair: Jaakko Jarvi
* Using Simple Mathematics as a Modeling Language Don Batory. * From Generic to Specific: Off-line Optimization for General Constraint Solver Ye Zhang, Torben Amtoft and Flemming Nielson. * Generating Incremental Implementations of Object-Set Queries Tom Rothamel and Yanhong A. Liu.
* Integrating Semantics and Compilation Peter Gottschling and Andrew Lumsdaine. * Generating Customized Verifiers for Automatically Generated Code Ewen Denney and Bernd Fischer. * Property Models: From Incidental Algorithms to Reusable Components Jaakko Jarvi, Mat Marcus, Sean Parent, John Freeman and Jacob Smith.
17:00-17:30 PC chair's report
Monday, October 20
9:00-10:00 Keynote Session Chair: William Cook
* Fundamentalist Functional Programming Erik Meijer (Microsoft)
10:30-12:00 Technical papers 4 Session Chair: William Cook
* Feature Featherweight Java: A Calculus for Feature-Oriented Programming and Stepwise Refinement Sven Apel, Christian Kastner and Christian Lengauer. * Lightweight Dependent Classes Tetsuo Kamina and Tetsuo Tamai. * Typing Communicating Component Assemblages Michael Lienhardt, Vivien Quema, Alan Schmitt and Jean-Bernard Stefani.
14:00-15:00 Technical papers 5 Session Chair: David Abrahams
* Polymorphic Embedding of DSLs Christian Hofer, Klaus Ostermann, Tillmann Rendel and Adriaan Moors. * Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Julien Mercadal, Nicolas Palix, Charles Consel and Julia Lawall.
15:30-17:00 Technical papers 6 Session Chair: Mark Grechanik
* Program Refactoring using Functional Aspects Sven Apel, Christian Kastner and Don Batory. * Rigorous and Practical Refactoring-Based Framework Upgrade Ilie Savga, Michael Rudolf, Sebastian Gotz and Uwe Assmann. * An abstraction for reusable MDD components Vinay Kulkarni and Sreedhar Reddy.