Tuesday, September 27, 2005 : GPCE Tutorials and Workshops
- 9:00 - 10:00 ICFP invited talk
- 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
- 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: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
Wednesday, September 28, 2005 : GPCE Tutorials and Workshops
- 9:00 - 10:00 ICFP invited talk
- 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.
- 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: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).
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
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
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: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