Research Papers

• Basile Starynkevitch. MELT a Translated Domain Specific Language Embedded in the GCC Compiler
• Azer Bestavros and Assaf Kfoury. A Domain-Specific Language for the Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks
• Tiark Rompf, Kevin J. Brown, Hassan Chafi, Hyoukjoong Lee, Arvind K. Sujeeth, Martin Odersky and Kunle Olukotun. Building-Blocks for Performance Oriented DSLs
• Dominic Orchard and Alan Mycroft. Efficient and Correct Stencil Computation via Pattern Matching and Static Typing
• Tim Bauer, Martin Erwig, Alan Fern and Jervis Pinto. Adaptation-Based Programming in Haskell
• Eric Walkingshaw and Martin Erwig. A DSEL for Studying and Explaining Causation
• Lucas Beyak and Jacques Carette. SAGA: A DSL for story management

Distilled Tutorials

The purpose of these tutorials would be not to give a general overview, but to make the attendees aware of one point and to make them master it. For example, the printf function in ML is such a point, and the natural associated exercise is to extend its directives with, eg, pairs or lists. The tutorial will be with exercises for the audience and evaluation for the speaker.

• Jerzy Karczmarczuk.  Specific "scientific" data structures, and their processing
• Oleg Kiselyov.  Implementing explicit and finding implicit sharing in embedded DSLs
• Keiko Nakata.  Resumption-based big-step and small-step interpreters for While with interactive I/O
• Josef Svenningsson.  Combining deep and shallow embeddings for EDSLs
• Veronica Gaspes and Walid Taha.  Accurate programming: thinking about programs in terms of properties
• William Cook.  Build your own partial evaluator in 90 minutes
• Olivier Danvy.  Proper tail recursion in an abstract machine
• Oleg Kiselyov and Chung-chieh Shan.  Domain-specific natural languages
• Jeremy Gibbons.  Maximum segment sum, monadically
• Juliusz Chroboczek.  Sequentialising a concurrent program using continuation-passing style

Keynote Speakers

• Jeremy Gibbons, University of Oxford, UK. Form Follows Function: Model−Driven Engineering for Clinical Trials

• Claude Kirchner, INRIA, France. Rewriting, from universality to specificities

Schedule

Tha allotated times are 30 minutes for a technical paper (20 minutes for the talk & 10 minutes for the questions) and 45 minutes for a tutorial (except for William Cook's tutorial).

Tuesday (September 06, 2011)

Wednesday (September 07, 2011)

Thursday (September 08, 2011)