* 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