[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] GPCE'09 Call for Participation

                             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 (http://www.gpce.org).


Registration for GPCE'09 is handled through the MODELS registration page
(http://www.regonline.com/Checkin.asp?EventId=709423). 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 Böhme
     * 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 Järvi, 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 interaction
       Frans Sanen, Eddy Truyen and Wouter Joosen
     * Safe Composition of Non-Monotonic Features
       Martin Kuhlemann, Don Batory and Christian Kaestner