| 2016 | A General Modular Synthesis Problem for Pushdown Systems. Ilaria De Crescenzo, Salvatore La Torre |
| 2016 | A Method for Invariant Generation for Polynomial Continuous Systems. Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer |
| 2016 | A Program Logic for C11 Memory Fences. Marko Doko, Viktor Vafeiadis |
| 2016 | Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
| 2016 | Abstraction-driven Concolic Testing. Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger |
| 2016 | An Abstract Domain of Uninterpreted Functions. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
| 2016 | Automatic Generation of Propagation Complete SAT Encodings. Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins |
| 2016 | Automating Abstract Interpretation. Thomas W. Reps, Aditya V. Thakur |
| 2016 | Cloud-Based Verification of Concurrent Software. Gerard J. Holzmann |
| 2016 | D^3 : Data-Driven Disjunctive Abstraction. Hila Peleg, Sharon Shoham, Eran Yahav |
| 2016 | Exact Heap Summaries for Symbolic Execution. Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person |
| 2016 | From Low-Level Pointers to High-Level Containers. Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar |
| 2016 | Hybrid Analysis for Partial Order Reduction of Programs with Arrays. Pavel Parízek |
| 2016 | Lazy Constrained Monotonic Abstraction. Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2016 | Lipschitz Robustness of Timed I/O Systems. Thomas A. Henzinger, Jan Otop, Roopsha Samanta |
| 2016 | Model Checking with Multi-threaded IC3 Portfolios. Sagar Chaki, Derrick Karimi |
| 2016 | Parameter Synthesis for Parametric Interval Markov Chains. Benoît Delahaye, Didier Lime, Laure Petrucci |
| 2016 | Pointer Race Freedom. Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff |
| 2016 | Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn |
| 2016 | Predicate Abstraction for Linked Data Structures. Alexander Bakst, Ranjit Jhala |
| 2016 | Program Analysis with Local Policy Iteration. Egor George Karpenkov, David Monniaux, Philipp Wendler |
| 2016 | Property Directed Abstract Interpretation. Noam Rinetzky, Sharon Shoham |
| 2016 | Regular Symmetry Patterns. Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun |
| 2016 | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. Vahid Hashemi, Holger Hermanns, Lei Song |
| 2016 | Tight Cutoffs for Guarded Protocols with Fairness. Simon Außerlechner, Swen Jacobs, Ayrat Khalimov |
| 2016 | Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings Barbara Jobstmann, K. Rustan M. Leino |
| 2016 | Viper: A Verification Infrastructure for Permission-Based Reasoning. Peter Müller, Malte Schwerhoff, Alexander J. Summers |