Accepted Papers
- Simon Holm Jensen, Anders Mřller and Peter Thiemann. Interprocedural Analysis with Lazy Propagation
- Christophe Alias, Alain Darte, Paul Feautrier and Laure Gonnord. Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
- Mila Dalla Preda, Roberto Giacobazzi, Saumya Debray, Kevin Coogan and Gregg M. Townsend. Modelling Metamorphism by Abstract Interpretation
- Aleksandr Karbyshev, Helmut Seidl and Martin Hofmann. Verifying a Local Generic Solver in Coq
- Joerg Brauer and Andy King. Automatic Abstraction for Intervals using Boolean Formulae
- Arie Gurfinkel and Sagar Chaki. BOXES: A Symbolic Abstract Domain of Boxes
- Alexander Malkis, Andreas Podelski and Andrey Rybalchenko. Thread-Modular Counterexample-Guided Abstraction Refinement
- Larissa Meinicke, Annabelle McIver, Carroll Morgan and Joost-Pieter Katoen. Linear-invariant generation for probabilistic programs
- Thomas Martin Gawlitza and Helmut Seidl. Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones precisely
- Christian J. Bell, David Walker and Andrew W. Appel. Concurrent Separation Logic for Pipelined Parallelization
- Azadeh Farzan and Zachary Kincaid. Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
- William Harris, Akash Lal, Aditya Nori and Sriram Rajamani. Alternation for Termination
- Rupesh Nasre and Ramaswamy Govindarajan. Points-to Analysis as a System of Linear Equations
- Matthew Might. Abstract interpreters for free
- Elvira Albert, Puri Arenas, Samir Genaim, German Puebla and Diana Vanessa Ramírez Deantes. From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis
- Gianluca Amato, Francesca Scozzari and Maurizio Parton. Deriving numerical abstract domains via Principal Component Analysis
- Martin Vechev, Eran Yahav, Raghavan Raman and Vivek Sarkar. Verifying Determinism of Structured Parallel Programs
- Isil Dillig, Thomas Dillig and Alex Aiken. Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
- Tom Schrijvers and Alan Mycroft. Strictness Meets Data Flow
- Renato Cherini, Lucas Rearte and Javier Blanco. A Shape Analysis for Non-linear Data Structures
- Alexandre Chapoutot. Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables
- Nadir Matringe, Arnaldo Moura and Rachid Rebiha. Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods