ConferenceProgram

GPCE Event Locations (hotel floor plan)

* Meeting room: Grand Mesa Ballroom D on the 2nd floor * Breakfast and coffee breaks: directly outside the meeting room * Lunches: Mesa Verde B and C on the 1st floor * Reception: Atrium on the 2nd floor (the big open area outside the meeting room)

Sunday, October 4

8:00-9:00 Light Breakfast (Coffee, juice, pastries)

9:00-10:00 Keynote (Session Chair: Jeremy Siek)
* Using GPCE Principles for Hardware Systems and Accelerators (bridging the gap to HW design)
Rishiyur S. Nikhil (Bluespec Inc)
Abstract

10:00-10:30 Coffee Break

10:30-12:00 Templates (Session Chair: Eric Van Wyk)
* 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

12:00-13:30 Lunch

13:30-15:00 Aspects (Session Chair: Sven Apel)
* 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:00-15:30 Coffee Break

15:30-17:15 Components (Session Chair: Charles Consel)
* JavaGI in the Battlefield: Practical Experience with Generalized Interfaces
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

8:00-9:00 Light Breakfast (Coffee, juice, pastries)

9:00-10:00 Keynote (SLE opening session)
* Eating our own dog food: DSLs for generative and transformational engineering
James R. Cordy (Queen's University, Canada)
Abstract

10:00-10:30 Coffee Break

10:30-12:00 Generation (Session Chair: Ronald Garcia)
* 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

12:00-13:30 Lunch

13:30-15:00 Applications (Session Chair: Magne Haveraaen)
* 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 systems
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:00-15:30 Coffee Break

15:30-17:00 Features (Session Chair: Jaakko Järvi)
* 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 approach
Frans Sanen, Eddy Truyen and Wouter Joosen * Safe Composition of Non-Monotonic Features
Martin Kuhlemann, Don Batory and Christian Kaestner

7:00-9:00 Reception