| 2023 | Verifying Infinitely Many Programs at Once. | Loris D'Antoni |
| 2023 | Quantum Constant Propagation. | Yanbin Chen, Yannick Stade |
| 2023 | BREWasm: A General Static Binary Rewriting Framework for WebAssembly. | Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang |
| 2023 | A Formal Framework to Measure the Incompleteness of Abstract Interpretations. | Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi |
| 2023 | Symbolic Transformation of Expressions in Modular Arithmetic. | Jrme Boillot, Jrme Feret |
| 2023 | Unconstrained Variable Oracles for Faster Numeric Static Analyses. | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
| 2023 | Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. | Rosa Abbasi, Eva Darulova |
| 2022 | CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. | Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu |
| 2022 | Towards Efficient Reasoning of Quantum Programs. | Nengkun Yu |
| 2022 | Adversarial Logic. | Julien Vanegue |
| 2022 | Parameterized Recursive Refinement Types for Automated Program Verification. | Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato |
| 2022 | Local Completeness Logic on Kleene Algebra with Tests. | Marco Milanese, Francesco Ranzato |
| 2022 | Fast and Incremental Computation of Weak Control Closure. | Abu Naser Masud |
| 2022 | Boosting Robustness Verification of Semantic Feature Neighborhoods. | Anan Kabaha, Dana Drachsler-Cohen |
| 2022 | Bootstrapping Library-Based Synthesis. | Kangjing Huang, Xiaokang Qiu |
| 2022 | Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2022 | Efficient Modular SMT-Based Model Checking of Pointer Programs. | Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas |
| 2022 | Invariant Inference with Provable Complexity from the Monotone Theory. | Yotam M. Y. Feldman, Sharon Shoham |
| 2022 | Deciding Program Properties via Complete Abstractions on Bounded Domains. | Roberto Bruni, Roberta Gori, Nicolas Manini |
| 2022 | Case Study on Verification-Witness Validators: Where We Are and Where We Go. | Dirk Beyer, Jan Strejcek |
| 2022 | Automated Synthesis of Asynchronizations. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri |
| 2022 | Lifting Numeric Relational Domains to Algebraic Data Types. | Santiago Bautista, Thomas P. Jensen, Benot Montagu |
| 2022 | SecWasm: Information Flow Control for WebAssembly. | Iulia Bastys, Maximilian Algehed, Alexander Sjsten, Andrei Sabelfeld |
| 2022 | Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs. | Gilles Barthe, Adrien Koutsos, Solne Mirliaz, David Pichardie, Peter Schwabe |
| 2022 | Specification-Guided Reinforcement Learning. | Suguman Bansal |