IFIP Working Conference on Domain Specific Languages (DSL WC)

July 15-17, 2009, Oxford

All talks consist of 25 minutes of presentation, followed by 5 minute response by discussant, and then 10 minutes of discussion.

Wednesday

Time		Discussant
09.30-09.40	Welcome. Jeremy Gibbons
09.40-10.40	Kick-off. Walid Taha
10.40-11.10	Coffee Break
11.10-12.30	J is for JavaScript: A direct-style correspondence between Algol-like languages and J. Olivier Danvy, Chung-chieh Shan and Ian Zerny	Doaitse Swierstra
	Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell -- A Domain-Specific Library for Computational Vulnerability Assessment. Daniel Lincke, Patrik Jansson, Marcin Zalewski and Cezar Ionescu	Martin Erwig
12.30-14.00	Lunch
14.00-15.20	A MuDDy Experience--ML Bindings To A BDD Library. Ken Friis Larsen	Oleg Kiselyov
	Gel: A Generic Extensible Language. Jose Falcon and William Cook	Andrew Gill
15.20-16.00	Tea Break
16.00-17.20	A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications. Zoe Drey, Julien Mercadal and Charles Consel	Mikolas Janota
	Unit Testing for Domain-Specific Languages. Hui Wu, Jeff Gray and Marjan Mernik	Franz Franchetti
18.00-22.00	Evening Event: Punting trip

Thursday

Time		Discussant
09.00-10.00	Keynote Functional hybrid modeling. Henrik Nilsson
10.00-10.40	LEESA: Embedding Strategic and XPath-like Object Structure Traversals in C++. Sumant Tambe and Aniruddha Gokhale	Jose Falcon
10.40-11.10	Coffee Break
11.10-11.50	Combining DSLs and Ontologies using Metamodel Integration. Tobias Walter and Jorgen Ebert	Ken Shan
11.50-12.30	A Domain Specific Language For Composable Memory Transactions in Java. Andre Rauber Du Bois and Marcos Echevarria	Ken Friis Larson
12.30-14.00	Lunch
14.00-15.20	CLOPS: A DSL for Command Line Options. Mikolas Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot	Zoe Drey
	Nettle: A DSL for Network Router Configuration. Andreas Voellmy and Paul Hudak	Eric Walkingshaw
15.20-16.00	Tea Break
16.00-17.20	Model-driven Engineering from Modular Monadic Semantics: Implementation Techniques Tar. William Harrison, Adam Procter, Jason Agron, Garrin Kimmel and Gerard Allwein
	Domain-Specific Language for HW/SW Co-Design for FPGAs. Jason Agron	Frederic de Mesmay
19.00 -	Banquet

Friday

Time		Discussant
09.00-10.00	Keynote Why non-Turing complete languages matter. Oege de Moor
10.00-10.40	KURE - A Haskell hosted DSL for writing transformation systems. Andy Gill	Patrik Jansson
10.40-11.10	Coffee Break
11.10-12.30	Varying Domain Representations in Hagl. Eric Walkingshaw and Martin Erwig	Olivier Danvy
	A DSL for Explaining Probabilistic Reasoning. Martin Erwig and Eric Walkingshaw	William Cook
12.30-14.00	Lunch
14.00-15.20	Embedded Probabilistic Programming. Oleg Kiselyov and Chung-chieh Shan	Andreas Voellmy
	Operator Language: A Program Generation Framework for Fast Kernels. Franz Franchetti, Frederic de Mesmay, Daniel McFarlin and Markus Pueschel	Jason Agron
15.20-16.00	Tea Break
16.00-17.00	Panel Discussion, Wrap-up