Programme of HOOTS99

Paris, France

http://www.cl.cam.ac.uk/~ap/hoots

Thursday, 30 September 1999

8:30 - 9:30 PLI Invited Talk

The OPL Optimization Programming Language
Pascal van Hentenryck (Catholic University of Louvain, Belgium)

9:45 - 10:30 Session 1

Thursday

Monads, Effects and Transformations
Nick Benton and Andrew Kennedy (Microsoft Research, UK)

10:30 - 11:15 Coffee break

11:15 - 12:45 Session 2

Thursday

Monadic encapsulation of effects: a revised approach
E. Moggi and F. Palumbo (University of Genova, Italy)
Imprecise Exceptions, Co-inductively
Andrew Moran (Chalmers University, Sweden), Søren B. Lassen (University of Cambridge, UK), and Simon Peyton Jones (Microsoft Research, UK)

12:45 - 14:30 Lunch

14:30 - 16:00 Session 3

Thursday

Space-profiling semantics of the call-by-value lambda calculus and the CPS transformation
Yasuhiko Minamide (University of Tsukuba, Japan)
A foundation for space-safe transformation of call-by-need programs
Joergen Gustavsson and David Sands (Chalmers University, Sweden)

16:00 - 16:30 Tea time

16:30 - 18:00 Session 4

Thursday

Object Closure Conversion
Neal Glew (Cornell University, USA)
On proving syntactic properties of CPS programs
Olivier Danvy, Belmina Dzafic (University of Aarhus, Denmark) and Frank Pfenning (Carnegie Mellon University, USA)

Friday, 1 October 1999

8:30 - 9:30 PLI Invited Talk

Mobility in the Join-Calculus
Georges Gonthier (INRIA Rocquencourt, France)

9:45 - 10:45 Session 1

Friday

HOOTS Invited Talk: Trees and bisimulation for the pure lambda-calculus
Søren B. Lassen (University of Cambridge, UK)

10:45 - 11:15 Coffee break

11:15 - 12:45 Session 2

Friday

Putting operational techniques to the test: A syntactic theory for behavioural Verilog
John Fiskio-Lasseter and Amr Sabry (University of Oregon, USA)
Specifying the PLAN Network Programming Language
Pankaj Kakkar, Michael Hicks, Jon Moore, and Carl A. Gunter (University of Pennsylvania, USA)

12:45 - 14:30 Lunch