[Caml-list] Domain-Specific Languages: Call for Participation

DSL 2011: IFIP Working Conference on Domain-Specific Languages
6-8 September 2011, Bordeaux, France

**** Call for Participation: Online registration deadline July 30, 2011 ****

Details of the program and accommodation are available at http://dsl2011.bordeaux.inria.fr.

== Invited Speakers ==

- Jeremy Gibbons - University of Oxford, UK.
- Claude Kirchner - INRIA, France.

== Distilled Tutorials on Domain-Specific Languages ==

The purpose of these tutorials are not to give a general overview, but to make the attendees
aware of one point and to make them master it.

- Jerzy Karczmarczuk. Specific "scientific" data structures, and their processing.
- Oleg Kiselyov. Implementing explicit and finding implicit sharing in embedded DSL.
- Keiko Nakata. A total interpreter for While with interactive I/O.
- Josef Svenningsson. Combining deep and shallow embeddings for EDSLs.
- Walid Taha. Accurate programming: thinking about programs in terms of properties.
- William Cook. Build your own partial evaluator in 90 minutes.

== DSL Technical 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.