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

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

[Chung-chieh Shan]

[-- Attachment #1: Type: text/plain, Size: 1880 bytes --]

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.


[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 190 bytes --]