Programs Affiliated Events

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