| Time of Time (Invited Talk) / E. Allen Emerson |
| Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich |
| Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg |
| Size-Change Termination and Transition Invariants (Invited Talk) / Matthias Heizmann ; Neil D. Jones ; Andreas Podelski |
| Using Static Analysis in Space: Why Doing so? (Invited Talk) / David Lesens |
| Statically Inferring Complex Heap, Array, and Numeric Invariants (Invited Talk) / Bill McCloskey ; Thomas Reps ; Mooly Sagiv |
| From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis / Elvira Albert ; Puri Arenas ; Samir Genaim ; German Puebla ; Diana Vanessa RamÃrez Deantes |
| Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs / Christophe Alias ; Alain Darte ; Paul Feautrier ; Laure Gonnord |
| Deriving Numerical Abstract Domains via Principal Component Analysis / Gianluca Amato ; Maurizio Parton ; Francesca Scozzari |
| Concurrent Separation Logic for Pipelined Parallelization / Christian J. Bell ; Andrew W. Appel ; David Walker |
| Automatic Abstraction for Intervals Using Boolean Formulae / Jörg Brauer ; Andy King |
| Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables / Alexandre Chapoutot |
| A Shape Analysis for Non-linear Data Structures / Renato Cherini ; Lucas Rearte ; Javier Blanco |
| Modelling Metamorphism by Abstract Interpretation / Mila Dalla Preda ; Roberto Giacobazzi ; Saumya Debray ; Kevin Coogan ; Gregg M. Townsend |
| Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis / Isil Dillig ; Thomas Dillig ; Alex Aiken |
| Compositional Bitvector Analysis for Concurrent Programs with Nested Locks / Azadeh Farzan ; Zachary Kincaid |
| Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely / Thomas Martin Gawlitza ; Helmut Seidl |
| BOXES; A Symbolic Abstract Domain of Boxes / Arie Gurfinkel ; Sagar Chaki |
| Alternation for Termination / William R. Harris ; Akash Lal ; Aditya V. Nori ; Sriram K. Rajamani |
| Interprocedural Analysis with Lazy Propagation / Simon Holm Jensen ; Anders Møller ; Peter Thiemann |
| Verifying a Local Generic Solver in Coq / Martin Hofmann ; Aleksandr Karbyshev |
| Thread-Modular Counterexample-Guided Abstraction Refinement / Alexander Malkis ; Andrey Rybalchenko |
| Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods / Nadir Matringe ; Arnaldo Vieira Moura ; Rachid Rebiha |
| Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods / Joost-Pieter Katoen ; Annabelle K. McIver ; Larissa A. Meinicke ; Carroll C. Morgan |
| Abstract Interpreters for Free / Matthew Might |
| Points-to Analysis as a System of Linear Equations / Rupesh Nasre ; Ramaswamy Govindarajan |
| Strictness Meets Data Flow / Tom Schrijvers ; Alan Mycroft |
| Automatic Verification of Determinism for Structured Parallel Programs / Martin Vechev ; Eran Yahav ; Raghavan Raman ; Vivek Sarkar |
| Author Index |
| Time of Time (Invited Talk) / E. Allen Emerson |
| Static Verification for Code Contracts (Invited Talk) / Manuel Fähndrich |
| Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework: In Memory of Amir Pnueli (Invited Talk) / Benjamin Goldberg |
| Size-Change Termination and Transition Invariants (Invited Talk) / Matthias Heizmann ; Neil D. Jones ; Andreas Podelski |
| Using Static Analysis in Space: Why Doing so? (Invited Talk) / David Lesens |
| Statically Inferring Complex Heap, Array, and Numeric Invariants (Invited Talk) / Bill McCloskey ; Thomas Reps ; Mooly Sagiv |
