| 2022 | Adversarial Logic. Julien Vanegue |
| 2022 | Automated Synthesis of Asynchronizations. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri |
| 2022 | Boosting Robustness Verification of Semantic Feature Neighborhoods. Anan Kabaha, Dana Drachsler-Cohen |
| 2022 | Bootstrapping Library-Based Synthesis. Kangjing Huang, Xiaokang Qiu |
| 2022 | CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu |
| 2022 | Case Study on Verification-Witness Validators: Where We Are and Where We Go. Dirk Beyer, Jan Strejcek |
| 2022 | Deciding Program Properties via Complete Abstractions on Bounded Domains. Roberto Bruni, Roberta Gori, Nicolas Manini |
| 2022 | Efficient Modular SMT-Based Model Checking of Pointer Programs. Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas |
| 2022 | Fast and Incremental Computation of Weak Control Closure. Abu Naser Masud |
| 2022 | Invariant Inference with Provable Complexity from the Monotone Theory. Yotam M. Y. Feldman, Sharon Shoham |
| 2022 | Lifting Numeric Relational Domains to Algebraic Data Types. Santiago Bautista, Thomas P. Jensen, Benoît Montagu |
| 2022 | Local Completeness Logic on Kleene Algebra with Tests. Marco Milanese, Francesco Ranzato |
| 2022 | Parameterized Recursive Refinement Types for Automated Program Verification. Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato |
| 2022 | Principles of Staged Static+Dynamic Partial Analysis. Aditya Anand, Manas Thakur |
| 2022 | Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. Roberto Giacobazzi, Isabella Mastroeni |
| 2022 | SecWasm: Information Flow Control for WebAssembly. Iulia Bastys, Maximilian Algehed, Alexander Sjösten, Andrei Sabelfeld |
| 2022 | Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs. Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe |
| 2022 | Solving Invariant Generation for Unsolvable Loops. Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic |
| 2022 | Specification-Guided Reinforcement Learning. Suguman Bansal |
| 2022 | Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings Gagandeep Singh, Caterina Urban |
| 2022 | Towards Efficient Reasoning of Quantum Programs. Nengkun Yu |