| 2018 | Numerical Invariants via Abstract Machines. | Zachary Kincaid |
| 2018 | Modular Static Analysis of String Manipulations in C Programs. | Matthieu Journault, Antoine Min, Abdelraouf Ouadjaout |
| 2018 | A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. | Maxime Jacquemin, Sylvie Putot, Franck Vdrine |
| 2018 | Verifying Properties of Differentiable Programs. | Jan Hckelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland |
| 2018 | Closing the Performance Gap Between Doubles and Rationals for Octagons. | Aziem Chawdhary, Andy King |
| 2018 | Modular Software Fault Isolation as Abstract Interpretation. | Frdric Besson, Thomas P. Jensen, Julien Lepiller |
| 2018 | An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. | Anna Becchi, Enea Zaffanella |
| 2018 | Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. | Alexey Bakhirkin, David Monniaux |
| 2018 | The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. | Roberto Bagnara, Abramo Bagnara, Patricia M. Hill |
| 2018 | Block-Size Independence for GPU Programs. | Rajeev Alur, Joseph Devietti, Nimit Singhania |
| 2018 | Abstract Interpretation of Stateful Networks. | Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
| 2018 | Fairness: A Formal-Methods Perspective. | Aws Albarghouthi |
| 2017 | Incremental Analysis for Probabilistic Programs. | Jieyuan Zhang, Yulei Sui, Jingling Xue |
| 2017 | Modular Demand-Driven Analysis of Semantic Difference for Program Versions. | Anna Trostanetski, Orna Grumberg, Daniel Kroening |
| 2017 | A Gradual Interpretation of Union Types. | Matas Toro, ric Tanter |
| 2017 | Synthesizing Imperative Programs from Examples Guided by Static Analysis. | Sunbeom So, Hakjoo Oh |
| 2017 | A New Abstraction Framework for Affine Transformers. | Tushar Sharma, Thomas W. Reps |
| 2017 | Template Polyhedra with a Twist. | Sriram Sankaranarayanan, Mohamed Amin Ben Sassi |
| 2017 | Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains. | Abdelraouf Ouadjaout, Antoine Min |
| 2017 | Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. | Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky |
| 2017 | Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. | Isabella Mastroeni, Michele Pasqua |
| 2017 | Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming. | Alexandre Marchal, David Monniaux, Michal Prin |
| 2017 | Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models. | Hernn Ponce de Len, Florian Furbach, Keijo Heljanko, Roland Meyer |
| 2017 | Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. | Luks Holk, Roland Meyer, Toms Vojnar, Sebastian Wolff |
| 2017 | A Context-Sensitive Memory Model for Verification of C/C++ Programs. | Arie Gurfinkel, Jorge A. Navas |