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
Optimal Live Range Merge for Address Register Allocation in
Embedded Programs
Speculative Prefetching of Induction Pointers
Constant-Time Root Scanning for Deterministic Garbage Collection
|
ESOP
Language-Based Security Session chair: David Sands
A Systematic Approach to Static Access Control
Secure Information Flow and CPS
Enforcing Safety Properties Using Type Specialization
Semantics and Program Analysis
of Computationally Secure Information Flow
|
FOSSACS
Transition Systems Session chair: Ugo Montanari
Decidability of Weak Bisimilarity for a Subset of Basic Parallel
Processes
Temporary Data in Shared Dataspace Coordination Languages
Model Checking CTL+ and FCTL is Hard
Computational Completeness of Programming Languages Based on Graph
Transformation
|
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
A Framework for Optimizing Java Using Attributes
|
FASE
Metamodelling Session chair: Heinrich Hussmann
Metamodeling and Conformance Checking with PVS
The Meta-Modeling Language Calculus: Foundation Semantics for UML
|
TACAS
Symbolic Verification Session chair: Andreas Podelski
Searching Powerset Automata by Combining Explicit-State
and Symbolic Model Checking
Saturation: An Efficient Iteration Strategy for Symbolic State-space
Generation
|
17.00 17.30 |
Coffee | ||
17.30 19.00 |
ESOP
Miscellaneous Session chair: David Sands
Encoding Intensional Type Analysis
Fusion on Languages
Programming the Web with High-Level Programming Languages
|
FASE
Distributed Components Session chair: Hartmut Ehrig
Compositional Checking of Communication Among Observers
Combining Independent Specifications
Proving Deadlock Freedom in Component-Based Programming
|
FOSSACS
Semantics Session chair: Mariangiola Dezani
On Garbage and Program Logic
Class Analysis of Object-Oriented Programs through Abstract Interpretation
An Axiomatic Semantics for the Synchronous Language Gentzen
|
20.00 | Conference Dinner |