Day 0: November 2, 2005

13:00 - 17:30 Tutorials

13:00 - 15:00    Type Classes with Associated Types
Manuel M.T. Chakravarty

15:30 - 17:30    Type Systems for Object-Oriented Languages
Atsushi Igarashi

18:00 - 20:00 Reception

Day I: November 3, 2005

09:00 - 10:00 Invited Talk

Type Systems for XML
Haruo Hosoya

10:30 - 12:30 Session 1

The Essence of Dataflow Programing
Tarmo Uustalu, Varmo Vene

Data Refinement with Low-Level Pointer Operations
Ivana Mijajlovic, Hongseok Yang

A Simple Semantics for Polymorphic Recursion
William L. Harrison

Symbolic Execution with Separation Logic
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn

14:00 - 16:00 Session 2

An Abstract Interpretation Perspective on Linear vs. Branching Time
Francesco Ranzato, Francesco Tapparo

The Parallel Implementation of the Astree Static Analyzer
David Monniaux

On the Role of Abstract Non-interference in Language-based Security
Isabella Mastroeni

Loop Invariants on Demand
K. Rustan M. Leino, Francesco Logozzo

16:30 - 17:30 Poster Session

Poster Session

Day II: November 4, 2005

09:00 - 10:00 Invited Talk

Integrating Physical Systems in the Static Analysis of Embedded Control Software
Patrick Cousot

10:30 - 12:30 Session 3

Reflection Analysis for Java
Benjamin Livshits, John Whaley, Monica S. Lam

Lightweight Family Polymorphism
Atsushi Igarashi, Chieri Saito, Mirko Viroli

A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting
Walter Binder

Calculating Polynomial Runtime Properties
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca

12:30 - 18:00 Excursion

18:00 - 20:00 Banquet

Day III: November 5, 2005

09:00 - 10:00 Invited Talk

A Next-Generation Platform for Analyzing Executables
Thomas Reps, G. Balakrishnan, J. Lim, T. Teitelbaum

10:30 - 12:30 Session 4

Race Conditions in Message Sequence Charts
Chien-An Chen, Sara Kalvala, Jane Sinclair

Resource Bound Certification for a Tail-Recursive Virtual Machine
Silvano Dal Zilio, Regis Gascon

A Path Sensitive Type System for Resource Usage Verification of C Like Languages
Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han

Termination Analysis of Higher-Order Functional Programs
Damien Sereni, Neil D. Jones

14:00 - 16:00 Session 5

Heterogeneous Fixed Points with Application to Points-to Analysis
Aditya Kanade, Uday Khedker, Amitabha Sanyal

Register Allocation Via Coloring of Chordal Graphs
Fernando Magno Quintao Pereira, Jens Palsberg

Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor

Abstract Dependences for Alarm Diagnosis
Xavier Rival

16:30 - 18:30 Session 6

A Typed, Compositional Logic for a Stack-Based Abstract Machine
Nick Benton

A New Occurrence Counting Analysis for BioAmbients
Roberta Gori, Francesca Levi

A Parametric Model for the Analysis of Mobile Ambients
Dino Distefano

Using Datalog with Binary Decision Diagrams for Program Analysis
John Whaley, Dzintars Avots, Michael Carbin, Monica Lam

18:30 - 18:40 Closing