The Coq mailing list

[Chung-chieh Shan <ccshan AT cs.rutgers.edu>]

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: signature.asc
Description: Digital signature