This program can be considered final

Tuesday, September 27, 2005 : GPCE Tutorials and Workshops

T1: Multi-Stage Programming in MetaOCaml (Duration: Full Day)

• 9:00 - 10:30 Lecture 1

• 10:30 - 11:00 Break

• 11:00 - 12:30 Lecture 2

• 12:30 - 14:30 Lunch

• 15:30 - 16:00 Lecture 3

• 16:00 - 16:30 Break

• 16:30 - 18:00 Lecture 4

W1: Seventh Young Researchers Workshop

• 9:00 - 10:00 ICFP invited talk

• 10:15 - 10:30 Opening

• 10:30 - 11:00 Break

• 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