Programme of ESOP

MONDAY, 8 April

9.00
9.30
Welcome
9.30
10.30
FASE Invited Talk
Hellmuth Broda (Sun Microsystems (Schweiz) AG)
Jini Software Architecture - The End of Protocols as we know them
Session chair:  Herbert Weber
10.30
11.15
Coffee
11.15
12.45
ESOP
Typing and modularity

Session chair:  Thomas Jensen

Mixin modules in a call-by-value setting
Tom Hirschowitz, Xavier Leroy (Inria Rocquencourt, F)

Existential Types for Imperative Languages
Dan Grossman (Cornell University, USA)

Read Only Types and Functional In-place Update
David Aspinall, Martin Hofmann (LFCS, Edinburgh, UK and University of Munich, D)

12.45
14.15
Lunch
14.15
16.15
ESOP
Programming paradigms

Session chair:  David Schmidt

Soft Concurrent Constraint Programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi (CNR Pisa, Università di Pisa, Università di Padova, I)

Programming Languages for Compressing Graphics
Morgan McGuire, Shriram Krishnamurthi, John F. Hughes (Brown university, USA)

An Accumulative Parallel Skeleton for All
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi (University of Tokyo, University of Electro-Communications, Japan)

Higher-Order Intensional Type Analysis
Stephanie Weirich (Cornell University, USA)

16.15
16.45
Coffee
16.45
18.15
ESOP
Lambda calculus

Session chair:  Didier Remy

Branching Types
Joe Wells, Christian Haack (Heriot-Watt University, UK)

Exceptions, continuations and macro-expressiveness
James Laird (University of Sussex, UK)

A Theory of Second-Order Trees
Neal Glew (Star Lab, InterTrust Technologies Corporation, USA)

20.00 Reception

TUESDAY, 9 April

9.00
10.00
ESOP Invited Talk
Greg Morrisett (Cornell University, USA)
Type Checking Systems Code
Session chair:  Daniel Le Métayer
10.00
10.45
Coffee
10.45
12.45
ESOP
Program analysis : applications

Session chair:  Julia Lawall

Tool Support for Improving Test Coverage
Susan Horwitz (University of Wisconsin and Gramma Tech, USA)

Data Space-Oriented Tiling
Mahmut Kandemir (Microsystems Design Lab, USA)

Propagation of Roundoff Errors in Finite Precision Computations: a Semantics Approach
Matthieu Martel (CEA, F)

Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter (demo paper)
Eric Goubault, Matthieu Martel, Sylvie Putot (CEA, F)

12.45
14.15
Lunch
14.15
15.15
TACAS Invited Talk
Michael Lowry (NASA Ames Research Center)
Software Construction and Analysis Tools for Future Space Missions
Session chair:  Perdita Stevens
15.15
16.00
Coffee
16.00
17.30
ESOP
Program analysis : principles

Session chair:  David Sands

A Modular, Extensible Proof Method for Small-step Flow Analyses
Mitchell Wand, Galen B. Williamson (Northeastern University, USA)

A Prototype Dependency Calculus
Peter Thiemann (University of Freiburg, D)

Automatic Complexity Analysis
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl  (The Technical University of Denmark, Lyngby, Universität Trier)

17.30
17.45
Short Break
17.45
18.45
20.00 nyd

WEDNESDAY, 10 April

9.00
10.00
ETAPS Invited Talk
Daniel Jackson (MIT Lab for Computer Science)
Alloy: A New Technology for Software Modelling
Session chair:  Susanne Graf
10.00
10.45
Coffee
10.45
12.45
ESOP
Distributed programs: verification and analysis

Session chair:  Florence Maraninchi

Thread-Modular Verification For Shared-Memory Programs
Cormac Flanagan, Stephen Freund, Shaz Qadeer (Compaq Systems research Center, Palo Alto, USA)

Timing UDP: mechanized semantics for sockets, threads and failures
Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov (University of Cambridge, UK)

Finite-Control Mobile Ambients
Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot (Max-Plank Institut für Informatik, D and University of Wroclaw, Poland, Microsoft Research, UK, LIFL, F)

Dependency Analysis of Mobile Systems
Jérôme Feret (ENS, Paris, F)

12.45
14.15
Lunch