ESOP at a glance

Thursday

Friday

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