| 2022 | A Flow-Insensitive-Complete Program Representation. Solène Mirliaz, David Pichardie |
| 2022 | Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt |
| 2022 | Bisimulations for Neural Network Reduction. Pavithra Prabhakar |
| 2022 | Bit-Precise Reasoning via Int-Blasting. Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2022 | EPMC Gets Knowledge in Multi-agent Systems. Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang |
| 2022 | Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems. David Bayani, Stefan Mitsch |
| 2022 | Fast Three-Valued Abstract Bit-Vector Arithmetic. Jan Onderka, Stefan Ratschan |
| 2022 | Flavors of Sequential Information Flow. Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2022 | Generalized Arrays for Stainless Frames. Georg Stefan Schmid, Viktor Kuncak |
| 2022 | Gradient-Descent for Randomized Controllers Under Partial Observability. Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen |
| 2022 | High Assurance Software for Financial Regulation and Business Platforms. Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron |
| 2022 | Lightweight Shape Analysis Based on Physical Types. Olivier Nicole, Matthieu Lemerre, Xavier Rival |
| 2022 | Loop Verification with Invariants and Contracts. Gidon Ernst |
| 2022 | Making PROGRESS in Property Directed Reachability. Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp |
| 2022 | Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li |
| 2022 | NP Satisfiability for Arrays as Powers. Rodrigo Raya, Viktor Kuncak |
| 2022 | Out of Control: Reducing Probabilistic Models by Control-State Elimination. Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen |
| 2022 | Relational String Abstract Domains. Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara |
| 2022 | STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang |
| 2022 | Satisfiability and Synthesis Modulo Oracles. Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia |
| 2022 | Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms. Landon Taylor, Zhen Zhang |
| 2022 | Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu |
| 2022 | Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings Bernd Finkbeiner, Thomas Wies |
| 2022 | Verifying Pufferfish Privacy in Hidden Markov Models. Depeng Liu, Bow-Yaw Wang, Lijun Zhang |
| 2022 | Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel |