Programme of WGT at ETAPS 2010
Saturday, March 27
09.30-10.30 SESSION 1
- 09.30: Welcome and WGT introduction
-
- 09.45:
Generic Functions Dynamically Applied
-
- Rinus Plasmeijer, Peter Achten, Pieter Koopman
10:30 - 11:00 Coffee Break
11.00-12.30 SESSION 2
- 11.00: LEMON - an Open Source C++ Graph Template Library
- Balázs Dezső, Alpár Jüttner, Péter Kovács
- 11.20: Statically-typed value persistence for ML
- Thomas Gazagnaire, Anil Madhavapeddy
- 11.40: Generating correct and ecient equality and hashing methods using JequalityGen
- Neville Grech, Julian Rathke, Bernd Fischer
- 12.00: Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
- Visit Functions for the Semantics of Programming Languages
12:20 - 14:20 Lunch
14:20 - 16:00 SESSION 3
- 14.20: C++ Standard Template Library in a Safer Way
- Norbert Pataki, Zalán Szűgyi, Gergely Dévai
- 14.40: Functional Extensions to the Boost Metaprogram Library
- Ábel Sinkovics
- 15.00: Comparative Study of DSL Tools
- Naveneetha Vasudevan, Laurence Tratt
- 15.20: D-Clean Semantics for Generating Distributed Computation Nodes
- Viktória Zsók
- 15.40: Closing words
16:00 - 16:30 Coffee Break
ETAPS 2010 |
Top |
Last Update: 2010-02-04