| 2018 | A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. Maxime Jacquemin, Sylvie Putot, Franck Védrine |
| 2018 | Abstract Interpretation of CTL Properties. Caterina Urban, Samuel Ueltschi, Peter Müller |
| 2018 | Abstract Interpretation of Stateful Networks. Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
| 2018 | An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. Anna Becchi, Enea Zaffanella |
| 2018 | Block-Size Independence for GPU Programs. Rajeev Alur, Joseph Devietti, Nimit Singhania |
| 2018 | Closing the Performance Gap Between Doubles and Rationals for Octagons. Aziem Chawdhary, Andy King |
| 2018 | Deductive Verification in Decidable Fragments with Ivy. Kenneth L. McMillan, Oded Padon |
| 2018 | Efficiently Learning Safety Proofs from Appearance as well as Behaviours. Sumanth Prabhu, Kumar Madhukar, R. Venkatesh |
| 2018 | Experience Developing and Deploying Concurrency Analysis at Facebook. Peter W. O'Hearn |
| 2018 | Extending Constraint-Only Representation of Polyhedra with Boolean Constraints. Alexey Bakhirkin, David Monniaux |
| 2018 | Fairness: A Formal-Methods Perspective. Aws Albarghouthi |
| 2018 | Incremental Verification Using Trace Abstraction. Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann |
| 2018 | Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction. Florian Zuleger |
| 2018 | Interactive Verification of Distributed Protocols Using Decidable Logic. Sharon Shoham |
| 2018 | Invertible Linear Transforms of Numerical Abstract Domains. Francesco Ranzato, Marco Zanella |
| 2018 | Modular Software Fault Isolation as Abstract Interpretation. Frédéric Besson, Thomas P. Jensen, Julien Lepiller |
| 2018 | Modular Static Analysis of String Manipulations in C Programs. Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout |
| 2018 | New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. Ruzica Piskac |
| 2018 | Numerical Invariants via Abstract Machines. Zachary Kincaid |
| 2018 | Process-Local Static Analysis of Synchronous Processes. Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
| 2018 | Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings Andreas Podelski |
| 2018 | The Impact of Program Transformations on Static Program Analysis. Kedar S. Namjoshi, Zvonimir Pavlinovic |
| 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 | Verifying Bounded Subset-Closed Hyperproperties. Isabella Mastroeni, Michele Pasqua |
| 2018 | Verifying Properties of Differentiable Programs. Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland |
| 2018 | Volume-Based Merge Heuristics for Disjunctive Numeric Domains. Andrew Ruef, Kesha Hietala, Arlen Cox |