Seventh International Conference on
Generative Programming and Component Engineering (GPCE'08)

< http://gpce08.gpce.org >

Nashville, Tennessee

(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.

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.