| THURSDAY, 26 August 2004 | |
| 9:00-10:00 | Plenary Invited Talk: Ehud Shapiro; Injecting Life with Computers |
| 10:00-10:30 | Coffee Break |
| SESSION 1 | |
| 10:30 | Closed and logical relations for over- and under-approximation of powersets David Schmidt |
| 11:00 | Completeness Refinement in Abstract Symbolic Trajectory Evaluation Mila Dalla Preda |
| 11:30 | Constraint-Based Linear-Relations Analysis Sriram Sankaranarayanan, Henny Sipma, Zohar Manna |
| 12:00 | Spatial Analysis of BioAmbients Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard |
| 12:30-14:00 | LUNCH |
| SESSION 2 | |
| 14:00 | Modular and constraint-based information flow inference for an object-oriented language Qi Sun, Anindya Banerjee, David A. Naumann |
| 14:30 | Information Flow Analysis in Logical Form Torben Amtoft, Anindya Banerjee |
| 15:00 | Type Inference Against Races Cormac Flanagan, Stephen Freund |
| 15:30 | Coffee Break |
| SESSION 3 | |
| 16:00 | Pointer-Range Analysis Suan Hsi Yong, Susan Horwitz |
| 16:30 | A Scalable Nonuniform Pointer Analysis for Embedded Programs Arnaud Venet |
| 17:00 | Bottom-up and Top-down Context-Sensitive Summary-based Pointer Analysis Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu |
| FRIDAY, 27 August 2004 | |
| 9:30-10:30 | Plenary Invited Talk: Thomas Henzinger; The BLAST Query Language for Software Verification |
| 10:30-11:00 | Coffee Break |
| SESSION 1 | |
| 11:00 | Abstract Interpretation of Asynchronous Circuits Sarah Thompson, Alan Mycroft |
| 11:30 | Static Analysis of Gated Data Dependence Graphs Charles Hymans, Eben Upton |
| 12:00 | A Polynomial-Time Algorithm for Global Value Numbering Sumit Gulwani, George C. Necula |
| 12:30-14:00 | LUNCH |
| SESSION 2 | |
| 14:00 | Quantitative Shape Analysis Radu Rugina |
| 14:30 | A Relational Approach to Interprocedural Shape Analysis Bertrand Jeannet, Alexey Loginov, Thomas Reps, Mooly Sagiv |
| 15:00 | Partially Disjunctive Heap Abstraction R. Manevich, M. Sagiv, G. Ramalingam, J. Field |
| 15:30 | Coffee Break |
| SATURDAY, 28 August 2004 | |
| 9:00-10:00 | Plenary Invited Talk: Patrick Cousot; A lagrangian and mathematical programming relazation framework for static analysis and verification |
| 10:00-10:30 | Coffee Break |
| SESSION 1 | |
| 10:30 | An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants Enric Rodriguez-Carbonell, Deepak Kapur |
| 11:00 | Approximating the Algebraic Relational Semantics of Imperative Programs Michael A. Colon |
| 11:30 | The Octahedron Abstract Domain Robert Clariso, Jordi Cortadella |
| 12:00 | Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions Sumit Gulwani, George C. Necula |
| 12:30-14:00 | LUNCH |
| SESSION 2 | |
| 14:00 | On Logics of Aliasing Marius Bozga, Radu Iosif, Yassine Lakhnech |
| 14:30 | Generalized Records and Spatial Conjunction in Role Logic Viktor Kuncak, Martin Rinard |
| 15:00 | Non-termination inference for constraint-logic programs Etienne Payet, Fred Mesnard |
| 15:30 | Coffee Break |