Revisiting optimization for compute-intensive codes in the context
of program generation and adaptive libraries.
Albert Cohen, INRIA Futurs
A DSL for telephony services
Charles Consel, INRIA Futurs
Analyzing Stack and Heap Bounds for Primitive Recursive Programs in PR-Hume
Kevin Hammond, University of St Andrews
Jumbo: Run-time Program Generation for Java
Samuel Kamin, University of Illinois
Veneer: a dynamic domain-specific optimisation framework for Java
Paul H J Kelly, Imperial College London
A language-based approach to the development of safe operating system
extensions
Julia Lawall, University of Copenhagen (demo)
Aspects and Beyond
Cristina Lopes, University of California
Monadic Metalanguages for Staging and Name
Management
Eugenio Moggi, DISI, Univ. di Genova
The Concern Manipulation Environment
Harold Ossher, IBM T.J. Watson Research Center (demo)
TBA
Marc Pouzet
Towards combining Programming Languages and Logics
Tim Sheard, OGI /OHSU (demo)
MetaOCaml: Putting multi-stage annotations to work
Walid Taha, Rice University
Compilers for active libraries
Todd Veldhuizen, Chalmers University