GPCE'09 Call for Participation (Denver, Oct 09)
Fri, 31 Jul 2009 09:35:12 +0100

          From comp.compilers

Related articles
GPCE'09 Call for Participation (Denver, Oct 09) (2009-07-31)
| List of all articles for this month |

Newsgroups: comp.compilers
Date: Fri, 31 Jul 2009 09:35:12 +0100
Organization: Compilers Central
Keywords: conference
Posted-Date: 01 Aug 2009 16:49:23 EDT

                                                          Call for Participation

                                              Eighth International Conference on
                    Generative Programming and Component Engineering (GPCE 2009)

                                                                October 4-5, 2009
                                                                  Denver, Colorado
                                        (co-located with MODELS 2009 and SLE 2009)


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 (DSLs) (elevating program
specifications to compact domain-specific notations that are easier to write,
maintain, and analyze) are key technologies for automating program

The International Conference on Generative Programming and Component
Engineering provides a venue for researchers and practitioners interested in
techniques for enhancing the productivity, quality, and time-to-market in
software development that stems from deploying 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
and the programming languages community.

For more information and the latest news about the conference, please visit
the GPCE'09 web site (


Registration for GPCE'09 is handled through the MODELS registration page
( Early registration
deadline is August 31 2009.

Technical Program

Sunday, October 4

9:00-10:00 Keynote

          * Using GPCE Principles for Hardware Systems and Accelerators (bridging
              the gap to HW design)
              Rishiyur S. Nikhil (Bluespec Inc)

10:30-12:00 Templates

          * Reusable, Generic Program Analyses and Transformations
              Jeremiah Willcock, Andrew Lumsdaine and Daniel Quinlan
          * The Axioms Strike Back: Testing with Concepts and Axioms in C++
              Anya Helene Bagge, Valentin David and Magne Haveraaen
          * Toward Foundations for Type-Reflective Metaprogramming
              Ronald Garcia and Andrew Lumsdaine

13:30-15:00 Aspects

          * Transactional Pointcuts: Designation, Reification, and Advice of
              Interrelated Join Points
              Hossein Sadat-Mohtasham and H James Hoover
          * Extending AspectJ for Separating Regions
              Shumpei Akai and Shigeru Chiba
          * A Language and Framework for Invariant-Driven Transformations
              Yanhong A. Liu, Michael Gorbovitski and Scott Stoller

15:30-17:15 Components

          * JavaGI in the Battlefield: Practical Experience with Generalized
              Stefan Wehr and Peter Thiemann
          * A unified object model for pervasive virtualized access
              Phil McGachey, Antony Hosking and Eliot Moss
          * Advanced Dynamic Runtime Adaptation for Java
              Alex Villazon, Walter Binder, Danilo Ansaloni and Philippe Moret
          * (Demo) HotWave: Creating Adaptive Tools with Dynamic Aspect-Oriented
              Programming in Java
              Alex Villazon, Danilo Ansaloni, Walter Binder and Philippe Moret

Monday, October 5

9:00-10:00 Keynote (held jointly with SLE'09)

          * Eating our own dog food: DSLs for generative and transformational
              James R. Cordy (Queen's University, Canada)

10:30-12:00 Generation

          * Generating Safe Template Languages
              Jendrik Johannes, Florian Heidenreich, Mirko Seifert, Christian Wende
              and Marcel Bvhme
          * Abstract Parsing for Two-staged Languages with Concatenation
              Soonho Kong, Wontae Choi and Kwangkeun Yi
          * Synthesis of Fast Programs for Maximum-Weightsum Problems
              Srinivas Nedunuri and William R Cook

13:30-15:00 Applications

          * Generating execution infrastructures for component-oriented
              specifications with a model driven toolchain: a case study for MARTE's
              GCM and real-time annotations
              Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard and
Francois Terrier
          * A generative programming approach to developing pervasive computing
              Damien Cassou, Benjamin Bertran, Nicolas Loriant and Charles Consel
          * Algorithms for User Interfaces
              Jaakko Jdrvi, Mat Marcus, Sean Parent, John Freeman and Jacob Smith

15:30-17:00 Features

          * A Model of Refactoring Physically and Virtually Separated Features
              Christian Kaestner, Sven Apel and Martin Kuhlemann
          * Mapping problem-space to solution-space features: A feature
              Frans Sanen, Eddy Truyen and Wouter Joosen
          * Safe Composition of Non-Monotonic Features
              Martin Kuhlemann, Don Batory and Christian Kaestner

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.