ESOP at a glance
|
|
|
||
|
09:00 |
Invited Lecture Formal verification of pipelined processors Randy Bryant (CMU, USA) |
09:00 |
Invited Lecture Challenges and opportunities visual programming languages bring to programming language research Margaret Burnett (Oregon State U, USA) |
|
10:00 |
Coffee |
10:00 |
Coffee |
|
10: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) |
10: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 |
Lunch |
12:30 |
Lunch |
|
14:30 |
Invited Lecture Concurrent constraint programming as an extension of functional programming Gert Smolka (U Saarlandes, D) |
14:30 |
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) |
|
15:30 |
Coffee |
16:00 |
Coffee |
|
16:00 |
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) |
16:30 |
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) |
|
17:30 |
Close |
18:00 |
Close |