| 2022 | Compact Symmetry Breaking for Tournaments. | Evan Lohn, Chris Lambert, Marijn J. H. Heule |
| 2022 | Proving Robustness of KNN Against Adversarial Data Poisoning. | Yannan Li, Jingbo Wang, Chao Wang |
| 2022 | Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. | Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia |
| 2022 | Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. | Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Groe, Rolf Drechsler |
| 2022 | Automating Geometric Proofs of Collision Avoidance with Active Corners. | Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin |
| 2022 | Synthesis of Semantic Actions in Attribute Grammars. | Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy |
| 2022 | Timed Causal Fanin Analysis for Symbolic Circuit Simulation. | Roope Kaivola, Neta Bar Kama |
| 2022 | Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. | Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2022 | Automatic Repair and Deadlock Detection for Parameterized Systems. | Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2022 | Neural Network Verification with Proof Production. | Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz |
| 2022 | On Applying Model Checking in Formal Verification. | Hkan Hjort |
| 2022 | Formally Verified Isolation of DMA. | Jonas Haglund, Roberto Guanciale |
| 2022 | Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations. | Aarti Gupta, Roope Kaivola, Mihir Parang Mehta, Vaibhav Singh |
| 2022 | Synthesizing Transducers from Complex Specifications. | Anvay Grover, Ruediger Ehlers, Loris D'Antoni |
| 2022 | Automated Conversion of Axiomatic to Operational Models: Theory and Practice. | Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia |
| 2022 | The Rapid Software Verification Framework. | Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovcs, Giles Reger |
| 2022 | Small Proofs from Congruence Closure. | Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha |
| 2022 | Tricera: Verifying C Programs Using the Theory of Heaps. | Zafer Esen, Philipp Rmmer |
| 2022 | Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. | Ali Ebnenasir |
| 2022 | Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. | Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan |
| 2022 | Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. | Hana Chockler |
| 2022 | Reducing NEXP-complete problems to DQBF. | Fa-Hsun Chen, Shen-Chang Huang, Yu-Cheng Lu, Tony Tan |
| 2022 | Formally Verified Quite OK Image Format. | Mario Bucev, Viktor Kuncak |
| 2022 | Tbuddy: A Proof-Generating BDD Package. | Randal E. Bryant |
| 2022 | Split Transition Power Abstraction for Unbounded Safety. | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvrinen, Natasha Sharygina |