| 2023 | Result Invalidation for Incremental Modular Analyses. | Jens Van der Plas, Quentin Stivenart, Coen De Roover |
| 2023 | Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. | Anan Kabaha, Dana Drachsler-Cohen |
| 2023 | Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth. | Amir Kafshdar Goharshady, Ahmed Khaled Zaher |
| 2023 | A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. | Jrme Feret, Albin Salazar |
| 2023 | A Pragmatic Approach to Stateful Partial Order Reduction. | Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
| 2023 | Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. | Michele Boreale, Luisa Collodi |
| 2023 | Satisfiability Modulo Custom Theories in Z3. | Nikolaj S. Bjrner, Clemens Eisenhofer, Laura Kovcs |
| 2023 | Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. | Nicolas Berthier, Narges Khakpour |
| 2023 | StaticPersist: Compiler Support for PMEM Programming. | Sorav Bansal |
| 2023 | SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. | Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2023 | Distributing and Parallelizing Non-canonical Loops. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2022 | Bit-Precise Reasoning via Int-Blasting. | Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Ntzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 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 | Out of Control: Reducing Probabilistic Models by Control-State Elimination. | Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen |
| 2022 | Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 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 | Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms. | Landon Taylor, Zhen Zhang |
| 2022 | Making PROGRESS in Property Directed Reachability. | Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp |
| 2022 | Generalized Arrays for Stainless Frames. | Georg Stefan Schmid, Viktor Kuncak |
| 2022 | STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. | Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang |
| 2022 | NP Satisfiability for Arrays as Powers. | Rodrigo Raya, Viktor Kuncak |
| 2022 | Bisimulations for Neural Network Reduction. | Pavithra Prabhakar |
| 2022 | Satisfiability and Synthesis Modulo Oracles. | Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia |
| 2022 | Fast Three-Valued Abstract Bit-Vector Arithmetic. | Jan Onderka, Stefan Ratschan |
| 2022 | Lightweight Shape Analysis Based on Physical Types. | Olivier Nicole, Matthieu Lemerre, Xavier Rival |