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)

  • 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)

  • 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

  • 20:00 Banquet

Saturday, October 1, 2005 : GPCE Conference

Session C (session chair: Michael Lowry)

  • 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

Revision: r1.1 - 07 Jun 2013 - 09:21 - TWikiGuest
Gpce05 > ConferenceProgram
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback