Wednesday, March 24th


Invited Talk

Security protocols and specifications

M. Abadi (Compaq Systems Research Center, Palo Alto)





V. Braun, J. Kreileder, T. Margaria, B. Steffen (Univ. Dortmund), tool demo: The ETI online service in action  

Panel discussion (B. Steffen, Univ. Dortmund, moderator): Software Engineering and the Verification Tool Builder


P. Jansson (Chalmers, Gothenburg), J. Jeuring (Univ. Utrecht): Polytypic compact printing and parsing

Y. Liu, S. Stoller (Indiana University): Dynamic programming via static incrementalization

M. van den Brand (CWI, Amsterdam), P. Klint (CWI and Univ. Amsterdam), P. Olivier (Univ. Amsterdam): Compilation and memory management for ASF+SDF

H. Saito, N. Stavrakos, S. Carroll, C. Polychronopoulos (Univ. Illinois at Urbana-Champaign), A. Nicolau (Univ. California at Irvine): The design of the PROMIS compiler


M.-C. Gaudel, C. Khoury (Univ. Paris-Sud, Orsay), A. Zamulin (Russian Academy of Sciences, Novosibirsk): Dynamic systems with implicit state

C. Nottegar, C. Priami (Univ. Verona), P. Degano (Univ. Pisa): Semantic-driven performance evaluation

C. Attanasio, F. Corradini, P. Inverardi (Univ. L'Aquila): Yet another real-time specification for the steam boiler: Local clocks to statically measure systems performance




Invited Talk

Continuous engineering of information and communication infrastructure

H. Weber (TU Berlin)





U. Montanari, M. Pistore (Univ. Pisa): Finite state verification for the asynchronous pi-calculus

T. Basten, J. Hooman (Eindhoven Univ. of Technology): Process algebra in PVS

D. Hirschkoff (CERMICS-ENPC, INRIA): On the benefits of using the up to techniques for bisimulation verification

Z. Li, H. Chen (Changsha Institute of Technology): Computing strong/weak bisimulation equivalences and observation congruence for value-passing processes


A. Cilio, H. Corporaal (Delft University of Technology): Floating point to fixed point conversion of C code

T. Tourw\'e, W. De Meuter (Vrije Universiteit, Brussels): Optimizing object-oriented languages through architectural transformations

S. Rubin, D. Bernstein (IBM Research, Haifa), M. Rodeh (IBM Research and Technion, Haifa): Virtual cache line: A new technique to improve cache exploitation for recursive data structures

B. Dupont de Dinechin (ST Microelectronics): Extending modulo scheduling with memory reference merging


B. Bogaert, F. Seynhaeve, S. Tison (Univ. Lille): The recognizability problem for tree automata with comparisons between brothers

S. Maneth (Leiden University): String languages generated by total deterministic macro tree transducers

E. Dantsin (Steklov Institute of Mathematics, St. Petersburg), A. Voronkov (Uppsala University): A nondeterministic polynomial-time unification algorithm for bags, sets and trees

P. Baldan, A. Corradini, U. Montanari (Univ. Pisa): Unfolding and event structure semantics for graph grammars


CWI soiree

[Saturday, Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday,Sunday]