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