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 |