Programs Affiliated Events

Generative Programming and Component Engineering

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


Gpce05.ProgramsAffiliatedEvents moved from Gpce05.AffiliatedPrograms on 31 Jul 2005 - 08:06 by EugenioMoggi - put it back