11:00 - 11:30 IO Swapping Leads You There And Back Again
Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
11:30 - 12:00 Generating Bridges Between Heterogeneous Component Models
Kostadin Damevski
12:00 - 12:30 Component-based Software Generation: The Structural Synthesis Approach
Vaidas Giedrimas

12:30 - 14:30 Lunch

14:30 - 15:00 Aspect Limits
Petr Panuska
15:00 - 15:30 Towards a methodology for orchestration and validation of cooperative e-business components
Stefan Kuhne, Maik Thranert, Andreas Speck
15:30 - 16:00 An Approach to the Design, Deployment and Autonomic Management of Component Applications
Andrew J. McCarthy

16:00 - 16:30 Break

16:30 - 17:00 Modeling Variability in Matlab/Simulink
Jens Weiland, Ernst Richter
17:00 - 17:30 Generative Secure Software Development: An Approach to Unify Security with Software Engineering
Farid Mehr
17:30 - 18:00 State of the Art Advanced Separation of Concerns: A Design Patterns Based Comparative Study
A. H. Hannousse, D. Meslati, H. Merouani

18:00 Closing

Wednesday, September 28, 2005 : GPCE Tutorials and Workshops

T2: Implementing Domain-specific Modelling Languages and Generators (Duration: Half Day)

9:00 - 10:30 Lecture 1

10:30 - 11:00 Break

11:00 - 12:30 Lecture 2

12:30 - 14:30 Lunch

W2: Second MetaOCaml Workshop

9:00 - 10:00 ICFP invited talk

10:15 - 10:30 Opening

10:30 - 11:00 Break

11:00 - 11:30 Playing with Type Systems
Tim Sheard
11:30 - 12:00 Typing Template Haskell: Soft Types
Ian Lynagh
12:00 - 12:30 Type Soundness for Open and Closed Code Fragments
Morten Rhiger
12:30 - 13:00 Discussion session on Types.

13:00 - 14:30 Lunch

14:30 - 15:00 Dynamic Caml: a Dynamic Code Generation Library for Objective Caml
Dmitry Lomov and Andrey Serebryansky
15:00 - 15:30 A runtime for Multi-Stage Programming, and Meta-Programming without Quasi-Quotation
Cisternino Antonio and Gervasi Vincenzo
15:30 - 16:00 Discussion session on Implementation issues

16:00 - 16:30 Break

16:30 - 17:00 Towards a high-productivity and high-performance marshaling library for compound data
Albert Cohen and Christoph Herrmann
17:00 - 18:00 Discussion session (open).

18:00 Closing

W3: Graph and Model Transformations Workshop

Session 1: Different views on model transformation

A Taxonomy of Model Transformation
T.Mens, P.Van Gorp
Applying a Model Transformation Taxonomy to Graph Transformation Technology
T.Mens, P.Van Gorp, D.Varro, G. Karsai
Using ATL for Checking Models
J. Bézivin and F. Jouault
Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation
H. Ehrig, K. Ehrig

10:30 - 11:00 Break

Session 2: Theory and Applications

Cloning and Expanding Graph Transformation Rules for Refactoring
B. Hoffmann, D. Janssens, N. Van Eetvelde
Efficient detection of conflicts in graph based model transformation
L. Lambers and F. Orejas
Model Transformation from VisualOCL to OCL using Graph Transformation
K. Ehrig, J. Winkelmann
Requirements variability support through MDD and graph transformation
F. Garcia, M. Laguna, Y. Gonzalez-Carvajal, B. Gonzalez-Baixauli
Metamodel-based Model Transformation with Aspect-oriented Constraints
L. Lengyel, T. Levendovszky, C. Hassan

12:45 - 14:30 Lunch

Session 3: Tools for model transformation

Adaptive graph pattern matching for model transformations using model-sensitive search plans
G. Varro, D. Varro, K. Friedl
Improving the Usability of a Graph Transformation Language
A. Vizhanyo, S. Neema, F. Shi, D. Subramanian and G. Karsai
Tool support for MOLA
A. Kalnins, E. Celms, A. Sostaks
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
K. Ehrig, C. Ermel and S. Haensgen

16:00 - 16:30 Break

16:30 - 17:00 Model Transformations for Hard-Real Time Languages
T. Szemethy

Session 4: Discussion on Graph and Model Transformations

17:00 - 18:00 Discussion panel

18:00 Closing

Thursday, September 29, 2005 : GPCE Conference

8:45 - 9:00 Opening

Session A (session chair: Eugenio Moggi)

9:00 - 10:00 Oscar Nierstrasz: Object-oriented Reengineering Patterns
10:00 - 10:30 A Generative Programming Approach to Developing DSL Compilers
Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe

10:30 - 11:00 Break

Session 1 : Domain-specific Languages (session chair: Zhenjiang Hu)

11:00 - 11:30 Efficient Code Generation for a Domain-specific Language
Andrew Moss, Henk Muller
11:30 - 12:00 On Domain-specific Languages Reengineering
Christophe Alias, Denis Barthou
12:00 - 12:30 Bossa Nova: Introducing Modularity into the Bossa Domain-specific Language
Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur

12:30 - 14:30 Lunch

Session 2 : Aspect-oriented Programming (session chair: Ulrich Eisenecker)

14:30 - 15:00 AOP++: A Generic Aspect-oriented Programming Framework in C++
Zhen Yao, Qi-long Zheng, Guo-liang Chen
15:00 - 15:30 Model Compiler Construction Based on Aspect-oriented Mechanisms
Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami
15:30 - 16:00 FeatureC++: On the Symbiosis of Feature-oriented and Aspect-oriented Programming
Sven Apel, Thomas Leich, Marko Rosenmüller, Gunter Saake

16:00 - 16:30 Break

Session 3 : Demonstrations (session chair: Tim Sheard)

16:30 - 17:15 Developing Dynamic and Adaptable Applications with CAM/DAOP: A Virtual Office Application
Mónica Pinto, Daniel Jiménez, Lidia Fuentes
17:15 - 18:00 Metamodeling Made Easy - MetaEdit+
Risto Pohjonen

20:00 Reception

Friday, September 30, 2005 : GPCE Conference

Session B (session chair: Robert Glück)

9:00 - 10:00 Oege de Moor: The AspectBench Compiler for AspectJ
10:00 - 10:30 Shadow Programming: Reasoning about Programs using Lexical Join Point Information
Pengcheng Wu, Karl Lieberherr

10:30 - 11:00 Break

Session 4 : Meta-Programming and Transformation (session chair: John Launchbury)

11:00 - 11:30 Generalized Type-based Disambiguation of Meta Programs with Concrete Object Syntax
Martin Bravenboer, Rob Vermaas, Jurgen Vinju, Eelco Visser
11:30 - 12:00 A Versatile Kernel for Multi-Language AOP
Éric Tanter, Jacques Noyé
12:00 - 12:30 Semi-Inversion of Guarded Equations
Torben Ægidius Mogensen

12:30 - 14:30 Lunch

Session 5 : Generative Techniques I (session chair: Anne-Françoise Le Meur)

14:30 - 15:00 A Generative Programming Approach to Interactive Information Retrieval: Insights and Experiences
Saverio Perugini, Naren Ramakrishnan
15:00 - 15:30 Optimizing Marshalling by Run-Time Program Generation
Baris Aktemur, Joel Jones, Samuel Kamin, Lars Clausen
15:30 - 16:00 Applying a Generative Technique for Enhanced Genericity and Maintainability on the J2EE Platform
Jun Yang, Stan Jarzabek

16:00 - 16:30 Break

Session 6: Multi-Stage Programming (session chair: Frank Pfenning)

16:30 - 17:00 Multi-Stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code
Jacques Carette, Oleg Kiselyov
17:00 - 17:30 Implicitly Heterogeneous Multi-Stage Programming
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha

17:30 - 18:30 GPCE Business Meeting

20:00 Banquet

Saturday, October 1, 2005 : GPCE Conference

Session C (session chair: Michael Lowry)

9:00 - 10:00 Bernd Fischer: Certifiable Program Generation
10:00 - 10:30 Source-Level Optimization of Run-Time Program Generators
Samuel Kamin, Baris Aktemur, Philip Morton

10:30 - 11:00 Break

Session 7 : Generative Techniques II (session chair: Walid Taha)

11:00 - 11:30 Statically Safe Program Generation with SafeGen
Shan Shan Huang, David Zook, Yannis Smaragdakis
11:30 - 12:00 A Type System for Reflective Program Generators
Dirk Draheim, Christof Lutteroth, Gerald Weber
12:00 - 12:30 Sorting out the Relationships Between Pairs of Iterators, Values, and References
Krister Åhlander

12:30 - 14:30 Lunch

Session 8 : Components and Templates (session chair: Cristiano Calcagno)

14:30 - 15:00 Preprocessing Eden with Template Haskell
Steffen Priebe
15:00 - 15:30 Syntactic Abstraction in Component Interfaces
Ryan Culpepper, Scott Owens, Matthew Flatt
15:30 - 16:00 Component-oriented Programming with Sharing: Containment is not Ownership
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani

16:00 - 16:30 Break

Session 9 : Generic Programming (session chair: Yannis Smaragdakis)

16:30 - 17:00 Language Requirements for Large-Scale Generic Libraries
Jeremy Siek, Andrew Lumsdaine
17:00 - 17:30 Mapping Features to Models: A Template Approach Based on Superimposed Variants
Krzysztof Czarnecki, Michal Antkiewicz

17:30 Closing

End of Conference