WG211/MeetingOne
IFIP Working Group 2.11 Kickoff Meeting
Preliminary Schedule
May 16-18, 2004, St. Emilion, France
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
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
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
[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)
Sunday 8:00
Dinner.
Monday 8:45-10:30
[WG 2.11 Activities at the University of Passau]
Christian Lengauer, Universit't of Passau
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
[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.
