ESOP
European Symposium on Programming
Programme Commitee
C. Hankin (UK, chair), J. de Bakker (Netherlands), L. Cardelli (USA), A. Deutsch (France), R. Giegerich (Germany), R. Glück (Denmark), R. Gorrieri (Italy), P. Hartel (UK), P. Lee (USA), H.R. Nielson (Denmark), M. Odersky (Germany), A. Pettorossi (Italy), A. Porto (Portugal), D. Sands (Sweden), D. Schmidt (USA)
PROGRAMME
09:00 10:00
|
Invited Lecture Formal verification of pipelined processors Randy Bryant (CMU, USA) |
10:00 10:30
|
Coffee |
10:30 12:30
| Propagating differences: an efficient new fixpoint algorithm for
distributive constraint systems, C.Fecht (U Saarlandes, D) and H.Seidl
(U Trier, D)
Code motion and code placement: just synonyms?, J.Knoop (U Passau, D), O.Rüthing and B.Steffen (U Dortmund, D) Complexity of concrete type inference in the presence of exceptions, R.Chatterjee, B.Ryder (Rutgers, USA) and W.Landi (Siemens Corporate Research, USA) Building a bridge between pointer aliases and program dependences, JL.Ross (U Chicago, USA) and M.Sagiv (U Tel-Aviv, IL) |
12:30 14:30
|
Lunch |
14:30 15:30
|
Invited Lecture Concurrent constraint programming as an extension of functional programming Gert Smolka (U Saarlandes, D) |
15:30 16:00
|
Coffee |
16:00 17:30
| From classes to objects via subtyping, D.Remy (INRIA, F)
Recursive object types in a logic of object-oriented programs, KRM.Leino (DEC SRC, USA) A bisimulation method for cryptographic protocols, M.Abadi (DEC SRC, USA) and AD.Gordon (Microsoft Research, UK) |
09:00 10:00
|
Invited Lecture Challenges and opportunities visual programming languages bring to programming language research Margaret Burnett (Oregon State U, USA) |
10:00 10:30
|
Coffee |
10:30 12:30
| A polyvariant binding-time analysis for off-line partial deduction,
M.Bruynooghe, M.Leuschel and K.Sagonas (KU Leuven, B)
A generic framework for specialization, P.Thiemann (U Tübingen, D) Synchronisation analysis to stop tupling, Wei-Ngan Chin, Siau-Cheng Khoo and Tat-Wee Lee (National U Singapore, SG) Systematic change of data representation: program manipulations and a case study, WL.Scherlis (CMU, USA) |
12:30 14:30
|
Lunch |
14:30 16:00
| Reasoning about classes in object-oriented languages: logical models
and tools, U.Hensel (TU Dresden, D), M.Huisman, B.Jacobs (U Nijmegen,
NL) and H.Tews (TU Dresden, D)
Verifiable and executable logic specifications of concurrent objects in L¼, L.Caires and L.Monteiro, (New U Lisbon, P) A complete declarative debugger of missing answers, S.Ruggieri, (U Pisa, I) |
16:00 16:30
|
Coffee |
16:30 18:00
| The functional imperative: shape!, CB.Jay and PA.Steckler (U
Technology, AUS)
Language primitives and type discipline for structured communication-based programming, K.Honda (U Edinburgh, UK), V.Vasconcelos (U Lisbon, P) and M.Kubo (Chiba U of Commerce, JP) Mode-automata: about modes and states for reactive systems, F.Maraninchi and Y.Rimond, (VERIMAG, F) |