Invited Paper |
Analysis of Multithreaded Programs / Martin Rinard |
Program Transformation |
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran ; Francesc Babot ; August Climent ; Miquel Nicolau |
Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor ; Susan Horwitz |
Soft Scheduling for Hardware / Richard Sharp ; Alan Mycroft |
Strictness and Termination |
Effective Strictness Analysis with HORN Constraints / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann |
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs / Fred Mesnard ; Ulrich Neumerkel |
An Abstract Analysis of the Probabilistic Termination of Programs / David Monniaux |
Semantics Abstraction |
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses / Fausto Spoto |
Logic and Constraint Programming |
Parameterizing a Groundness Analysis of Logic Programs / Lunjin Lu |
Finite-Tree Analysis for Constraint Logic-Based Languages / Roberto Bagnara ; Roberta Gori ; Patricia M. Hill ; Enea Zaffanella |
Applications of Extended Static Checking / K. Rustan M. Leino |
Data Structures |
Cleanness Checking of String Manipulations in C Programs via Integer Analysis / Nurit Dor ; Michael Rodeh ; Mooly Sagiv |
Solving Regular Tree Grammar Based Constraints / Yanhong A. Liu ; Ning Li ; Scott D. Stoller |
Static Analyses of the Precision of Floating-Point Operations / Eric Goubault |
Pointer Analysis |
Estimating the Impact of Scalable Pointer Analysis on Optimization / Manuvir Das ; Ben Liblit ; Manuel Fahndrich ; Jakob Rehof |
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses / Donglin Liang ; Mary Jean Harrold |
Model Checking |
Parametric Optimization of Open Real-Time Systems / Farn Wang ; Hsu-Chun Yen |
Embedding Chaos / Natalia Sidorova ; Martin Steffen |
Abstract Model Checking |
Analyzing Fair Parametric Extended Automata / Ahmed Bouajjani ; Aurore Collomb-Annichini ; Yassine Lakhnech ; Mihaela Sighireanu |
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking / Roberto Giacobazzi ; Elisa Quintarelli |
Invited Talk |
Language-Based Security: WhatÆs Needed and Why (Abstract) / Fred Schneider |
Mobility |
A Behavioral Module System for the Pi-Calculus / Sriram K. Rajamani |
An Abstract Interpretation Framework for Analysing Mobile Ambients / Francesca Levi ; Sergio Maffeis |
Abstract Interpretation-Based Static Analysis of Mobile Ambients / Jerome Feret |
Invited Session on Security |
Static Analysis and Software Assurance (Abstract) / David Wagner |
A Type and Effect Analysis of Security Protocols (Abstract) / Andrew D. Gordon ; Alan Jeffrey |
Abstracting Cryptographic Protocols by Prolog Rules (Abstract) / Bruno Blanchet |
Security-Typed Languages and Distributed Computation (Abstract) / Andrew Myers |
Author Index |
Invited Paper |
Analysis of Multithreaded Programs / Martin Rinard |
Program Transformation |
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran ; Francesc Babot ; August Climent ; Miquel Nicolau |
Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor ; Susan Horwitz |
Soft Scheduling for Hardware / Richard Sharp ; Alan Mycroft |