| 2020 | A Cooperative Parallelization Approach for Property-Directed k-Induction. Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina |
| 2020 | A Systematic Approach to Abstract Interpretation of Program Transformations. Sven Keidel, Sebastian Erdweg |
| 2020 | BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. Pietro Ferrara, Luca Olivieri, Fausto Spoto |
| 2020 | Cheap CTL Compassion in NuSMV. Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner |
| 2020 | Fixing Code that Explodes Under Symbolic Evaluation. Sorawee Porncharoenwase, James Bornholt, Emina Torlak |
| 2020 | Formalizing and Checking Multilevel Consistency. Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2020 | Generalized Property-Directed Reachability for Hybrid Systems. Kohei Suenaga, Takuya Ishizawa |
| 2020 | Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky |
| 2020 | How to Win First-Order Safety Games. Helmut Seidl, Christian Müller, Bernd Finkbeiner |
| 2020 | Improving Parity Game Solvers with Justifications. Ruben Lapauw, Maurice Bruynooghe, Marc Denecker |
| 2020 | Language Inclusion for Finite Prime Event Structures. Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher |
| 2020 | Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric |
| 2020 | Practical Abstractions for Automated Verification of Shared-Memory Concurrency. Wytse Oortwijn, Dilian Gurov, Marieke Huisman |
| 2020 | Promptness and Bounded Fairness in Concurrent and Parameterized Systems. Swen Jacobs, Mouhammad Sakr, Martin Zimmermann |
| 2020 | Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham |
| 2020 | Sharing Ghost Variables in a Collection of Abstract Domains. Marc Chevalier, Jérôme Feret |
| 2020 | Solving $\mathrm {LIA} ^\star $ Using Approximations. Maxwell Levatich, Nikolaj S. Bjørner, Ruzica Piskac, Sharon Shoham |
| 2020 | Synthesizing Environment Invariants for Modular Hardware Verification. Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik |
| 2020 | Systematic Classification of Attackers via Bounded Model Checking. Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay |
| 2020 | The Correctness of a Code Generator for a Functional Language. Nathanaël Courant, Antoine Séré, Natarajan Shankar |
| 2020 | Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings Dirk Beyer, Damien Zufferey |
| 2020 | Witnessing Secure Compilation. Kedar S. Namjoshi, Lucas M. Tabajara |