*** 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.
For full conference program and the latest news, check the GPCE'08 web site
(
http://gpce08.gpce.org).
**** REGISTRATION
Registration for GPCE'08 is handled through the OOPSLA registration
page (
http://www.regmaster.com/conf/oopsla2008.html). Early
registration deadline is Septermber 11.
*** TECHNICAL PROGRAM
Sunday, October 19
8:50-9:00 Welcome
9:00-10:00 Keynote
Session Chair: Julia Lawall
* 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.
15:30-17:00 Technical papers 3
Session Chair: Aniruddha Gokhale
* 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.