| Data-Flow Analysis |
| Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing |
| On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa |
| Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar |
| Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli |
| Logic Programming |
| Analysis of Normal Logic Programs / François Fages ; Roberta Gori |
| The Correctness of Set-Sharing / Patricia M. Hill ; Roberto Bagnara ; Enea Zaffanella |
| Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing / Valérie Gouranton |
| Concurrency |
| A Symbolic Semantics for Abstract Model Checking / Francesca Levi |
| Automatic Determination of Communication Topologies in Mobile Systems / Arnaud Venet |
| Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation / Chiara Bodei ; Pierpaolo Degano ; Corrado Priami |
| Abstract Domains |
| A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs / Paolo Volpe |
| Refining Static Analyses by Trace-Based Partinioning Using Control Flow / Maria Handjieva ; Stanislav Tzolovski |
| Building Complete Abstract Interpretations in a Linear Logic-Based Setting / Roberto Giacobazzi ; Francesco Ranzato ; Francesca Scozzari |
| Partial Evaluation |
| On the Power of Homeomorphic Embedding for Online Termination / Michael Leuschel |
| Analysis of Imperative Programs through Analysis of Constraint Logic Programs / Julio C. Peralta ; John P. Gallagher ; Huseyin SaGlam |
| Improving Control in Functional Logic Program Specialization / E. Albert ; M. Alpuente ; M. Falaschi ; P. Julián ; G. Vidal |
| Type Inference |
| Directional Type Inference for Logic Programs / Witold Charatonik ; Andreas Podelski |
| Finite Subtype Inference with Explicit Polymorphism / Dominic Duggan |
| Optimization |
| Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis / M. Tadjouddine ; F. Eyssette ; C. Faure |
| A New Solution to the Hidden Copy Problem / Deepak Goyal ; Robert Paige |
| Tutorials |
| A Tutorial on Domain Theory in Abstract Interpretation |
| Program Analysis as Model Checking of Abstract Interpretations / David Schmidt ; Bernhard Steffen |
| Invited Talks |
| Certifying, Optimizing Compilation / Peter Lee |
| Author Index |
| Data-Flow Analysis |
| Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing |
| On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa |
| Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar |
| Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli |
| Logic Programming |
