| Joerg Bauer, Flemming Nielson, Hanne Riis Nielson and Henrik Pilegaard. Relational Analysis of Correlation |
| Jerome Leroux. Convex Hull of Arithmetic Automata |
| Christopher Conway, Dennis Dams, Kedar Namjoshi and Clark Barrett. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors |
| Murali Krishna Ramanathan, Koushik Sen, Ananth Grama and Suresh Jagannathan. Protocol Inference Using Static Path Profiles |
| Akash Lal and Thomas Reps. Solving Multiple Dataflow Queries Using WPDSs |
| Prakash Prabhu and Priti Shankar. Field Flow Sensitive Pointer and Escape Analysis for Java using Heap Array SSA |
| Salvatore Ruggieri and Fred Mesnard. Typing linear constraints for moding CLP(R) programs |
| Marco Comini, Ferruccio Damiani and Samuel Vrech. On Polymorphic Recursion, Type Systems, and Abstract Interpretation |
| Sebastian Nanz, Flemming Nielson and Hanne Riis Nielson. Modal Abstractions of Concurrent Behaviour |
| Mila Dalla Preda, Roberto Giacobazzi and Enrico Visentini. Hiding Software Watermarks in Loop Structures |
| Xavier Allamigeon, Stephane Gaubert and Eric Goubault. Inferring Min and Max Invariants Using Max-plus Polyhedra |
| Peter Lammich and Markus M¨ller-Olm. Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors |
| Elvira Albert, Puri Arenas, Samir Genaim and German Puebla. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis |
| Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei and Aarti Gupta. SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement |
| David Van Horn and Harry Mairson. Flow analysis, linearity, and PTIME |
| Simon Perdrix. Quantum Entanglement Analysis based on Abstract Interpretation |
| Nicholas Kidd, Akash Lal and Thomas Reps. Language Strength Reduction |
| Michael Petter, Helmut Seidl and Andrea Flexeder. Analysing All Polynomial Equations in Z modulo 2^w |
| Axel Simon. Splitting the Control Flow with Boolean Flags |
| Frances Perry and David Walker. Reasoning about Control Flow in the Presence of Transient Faults |
| Jan Midtgaard and Thomas Jensen. A Calculational Approach to Control-flow Analysis by Abstract Interpretation |
| Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam and Josh Berdine. Heap Decomposition for Concurrent Shape Analysis |