[TYPES/announce] Domain-Specific Languages: Call for Participation

Chung-chieh Shan ccshan at cs.rutgers.edu
Fri Jul 15 12:40:15 EDT 2011

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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 190 bytes
Desc: Digital signature
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110715/299f8cb8/attachment.sig>

More information about the Types-announce mailing list