| 2016 | A Parametric Abstract Domain for Lattice-Valued Regular Expressions. Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2016 | Abstract Interpretation of Supermodular Games. Francesco Ranzato |
| 2016 | Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. David Menendez, Santosh Nagarakatte, Aarti Gupta |
| 2016 | Automated Verification of Linearization Policies. Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh |
| 2016 | Bounded Abstract Interpretation. Maria Christakis, Valentin Wüstholz |
| 2016 | Cell Morphing: From Array Programs to Array-Free Horn Clauses. David Monniaux, Laure Gonnord |
| 2016 | Completeness in Approximate Transduction. Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni |
| 2016 | Enforcing Termination of Interprocedural Analysis. Stefan Schulze Frielinghaus, Helmut Seidl, Ralf Vogler |
| 2016 | Exploiting Sparsity in Difference-Bound Matrices. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
| 2016 | Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. Pritam M. Gharat, Uday P. Khedker, Alan Mycroft |
| 2016 | From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. Thibault Suzanne, Antoine Miné |
| 2016 | Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga |
| 2016 | Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis. Kihong Heo, Hakjoo Oh, Hongseok Yang |
| 2016 | Loopy: Programmable and Formally Verified Loop Transformations. Kedar S. Namjoshi, Nimit Singhania |
| 2016 | Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. Tian Tan, Yue Li, Jingling Xue |
| 2016 | On the Linear Ranking Problem for Simple Floating-Point Loops. Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet |
| 2016 | Quantitative Monitor Automata. Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop |
| 2016 | Relational Verification Through Horn Clause Transformation. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2016 | Securing a Compiler Transformation. Chaoqiang Deng, Kedar S. Namjoshi |
| 2016 | Simulation and Invariance for Weak Consistency. Jade Alglave |
| 2016 | Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings Xavier Rival |
| 2016 | Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs. Matthieu Journault, Antoine Miné |
| 2016 | Structure-Sensitive Points-To Analysis for C and C++. George Balatsouras, Yannis Smaragdakis |
| 2016 | The Julia Static Analyzer for Java. Fausto Spoto |
| 2016 | Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan |