Conference Program

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