IFIP Working Group 2.11 Kickoff Meeting

Sunday 10:00

Departure from Bordeaux. Departure from the bus stop on allees de Munich aux Quinconces (2 minutes walk from the hotel). Bus company "VOYAGES ARRIVE".

Sunday 1:30-3:45

Feature interactions in feature oriented programming --- Don Batory

Revisiting optimization for compute-intensive codes in the context of program generation and adaptive libraries.--- Albert Cohen, INRIA Futurs

http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/consel.html A DSL for telephony services --- Charles Consel, INRIA Futurs

http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/hammond.html Analyzing Stack and Heap Bounds for Primitive Recursive Programs in PR-Hume --- Kevin Hammond, University of St Andrews

Sunday 4:15-6:45

TaskGraph Library: A Metaprogramming Tool for Specifying Optimisation as a Separate Concern--- Olav Beckmann, Imperial College of Science

Jumbo: Run-time Program Generation for Java--- Samuel Kamin, University of Illinois

http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/kelly.html Veneer: a dynamic domain-specific optimisation framework for Java --- Paul H J Kelly, Imperial College London

http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/lawall.html A language-based approach to the development of safe operating system extensions --- Julia Lawall, University of Copenhagen (demo)

Sunday 8:00

Dinner.

Monday 8:45-10:30

WG 2.11 Activities at the University of Passau--- Christian Lengauer, Universit�t of Passau

Aspects and Beyond--- Cristina Lopes, University of California

Monadic Metalanguages for Staging and Name Management--- Eugenio Moggi, DISI, Univ. di Genova

Monday 11-12:15

Tools for Equational Reasoning in Haskell--- John O'Donnell, University of Glasgow

The Concern Manipulation Environment--- Harold Ossher, IBM T.J. Watson Research Center (demo)

Monday 1:45-3:45

Generation of programs with proofs--- Christine Paulin, Universit� Paris Sud

TBA --- Marc Pouzet

http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/sheard.html Towards combining Programming Languages and Logics --- Tim Sheard, OGI /OHSU (demo)

Monday 4:15-6:00

Generating AspectJ Programs with Meta-AspectJ--- Yannis Smaragdakis, Georgia Tech

MetaOCaml: Putting multi-stage annotations to work--- Walid Taha, Rice University

Compilers for active libraries --- Todd Veldhuizen, Chalmers University

Monday 6:30

Tour of St. Emilion.

Monday 8:00

Dinner.

Tuesday 9-11:30

Discussion

Tuesday 12:00

Lunch will begin at 12:00 sharp.