Program of Wednesday, April 4th

 9.00
10.00

Session chair: Don Sannella
Luca Cardelli (Invited Lecture)
10.00
10.30
Coffee
10.30
12.30
CC
Memory Hierarchy
Session chair: Mooly Sagiv

Array Unification: A Locality Optimization Technique
Mahmut Taylan Kandemir (Pennsylvania State University)

Optimal Live Range Merge for Address Register Allocation in Embedded Programs
Guilherme Ottoni, Sandro Rigo, Guido Araujo (IC-UNICAMP),
Subramanian Rajagapolan, Sharad Malik (Princeton University)

Speculative Prefetching of Induction Pointers
Artour Stoutchinin (STMicroelectronics),
Jose Nelson Amaral (University of Alberta),
Guang R. Gao (University of Delaware),
James C. Dehnert (Transmeta Corporation),
Suneel Jain (Hewlett-Packard),
Alban Douillet (University of Delaware)

Constant-Time Root Scanning for Deterministic Garbage Collection
Fridtjof Siebert (Universität Karlsruhe)

ESOP
Language-Based Security
Session chair:
David Sands

A Systematic Approach to Static Access Control
François Pottier (INRIA Rocquencourt),
Christian Skalka, Scott Smith (John Hopkins University)

Secure Information Flow and CPS
Steve Zdancewic, Andrew C. Myers (Cornell University)

Enforcing Safety Properties Using Type Specialization
Peter Thiemann (Universität Freiburg)

Semantics and Program Analysis of Computationally Secure Information Flow
Peeter Laud (Universität des Saarlandes)

FOSSACS
Transition Systems
Session chair: Ugo Montanari

Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes
Colin Stirling (Edinburgh University)

Temporary Data in Shared Dataspace Coordination Languages
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro (Università di Bologna)

Model Checking CTL+ and FCTL is Hard
Francois Laroussinie, Nicolas Markey, Philippe Schnoebelen (CNRS, ENS de Cachan)

Computational Completeness of Programming Languages Based on Graph Transformation
Annegret Habel (Universitaet Oldenburg),
Detlef Plump (The University of York)

12.30
15.00
Lunch
15.00
16.00

Session chair: Eugenio Moggi
Moshe Vardi (Invited Lecture)
16.00
17.00
CC
Profiling
Session chair: Martin Rinard

Goal-Directed Value Profiling
Scott Watterson, Saumya Debray (University of Arizona)

A Framework for Optimizing Java Using Attributes
Patrice Pominville, Feng Qian, Raja Vallee-Rai, Laurie Hendren (McGill University),
Clark Verburgge (IBM Toronto Lab)

FASE
Metamodelling
Session chair: Heinrich Hussmann

Metamodeling and Conformance Checking with PVS
Richard Paige, Jonathan Ostroff (York University, Toronto)

The Meta-Modeling Language Calculus: Foundation Semantics for UML
Tony Clark (King's College London),
Andy Evans (University of York),
Stuart Kent (University of Kent at Canterbury)

TACAS
Symbolic Verification
Session chair: Andreas Podelski

Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
Alessandro Cimatti (ITC-IRST, Trento),
Marco Roveri (ITC-IRST, Trento and DSI, Università di Milano),
Piergiorgio Bertoli (ITC-IRST, Trento)

Saturation: An Efficient Iteration Strategy for Symbolic State-space Generation
Gianfranco Ciardo (College of William and Mary, Williamsburg),
Gerald Lüttgen (Sheffield University),
Radu Siminiceanu (College of William and Mary, Williamsburg)

17.00
17.30
Coffee
17.30
19.00
ESOP
Miscellaneous
Session chair:
David Sands

Encoding Intensional Type Analysis
Stephanie Weirich (Cornell University)

Fusion on Languages
Roland Backhouse (University of Nottingham)

Programming the Web with High-Level Programming Languages
Paul Graunke (Rice University),
Shriram Krishnamurti (Brown University),
Steve Van Der Hoeven (Université de Nice),
Matthias Felleisen (Rice University)

FASE
Distributed Components
Session chair: Hartmut Ehrig

Compositional Checking of Communication Among Observers
Ralf Pinger, Hans-Dieter Ehrich (Technische Universität Braunschweig)

Combining Independent Specifications
Joy Reed (Oxford Brookes University),
Jane Sinclair (University of Warwick)

Proving Deadlock Freedom in Component-Based Programming
Paola Inverardi (Università dell' Aquila),
Sebastian Uchitel (Imperial College)

FOSSACS
Semantics
Session chair: Mariangiola Dezani

On Garbage and Program Logic
Peter W. O'Hearn (Queen Mary and Westfield College, London),
Cristiano Calcagno (QMW College, London, and Università di Genova)

Class Analysis of Object-Oriented Programs through Abstract Interpretation
Thomas Jensen, Fausto Spoto (IRISA, France)

An Axiomatic Semantics for the Synchronous Language Gentzen
Simone Tini (Università di Pisa)

20.00 Conference Dinner