| 2023 | A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. Jérôme Feret, Albin Salazar |
| 2023 | A Pragmatic Approach to Stateful Partial Order Reduction. Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
| 2023 | ARENA: Enhancing Abstract Refinement for Neural Network Verification. Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo |
| 2023 | Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. Michele Boreale, Luisa Collodi |
| 2023 | Compositional Verification of Stigmergic Collective Systems. Luca Di Stefano, Frédéric Lang |
| 2023 | CosySEL: Improving SAT Solving Using Local Symmetries. Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt |
| 2023 | Distributing and Parallelizing Non-canonical Loops. Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2023 | Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth. Amir Kafshdar Goharshady, Ahmed Khaled Zaher |
| 2023 | Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. Anan Kabaha, Dana Drachsler-Cohen |
| 2023 | Result Invalidation for Incremental Modular Analyses. Jens Van der Plas, Quentin Stiévenart, Coen De Roover |
| 2023 | SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
| 2023 | Satisfiability Modulo Custom Theories in Z3. Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács |
| 2023 | Solving Constrained Horn Clauses over Algebraic Data Types. Lucas Zavalía, Lidiia Chernigovskaia, Grigory Fedyukovich |
| 2023 | Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. Ignacio Tiraboschi, Tamara Rezk, Xavier Rival |
| 2023 | StaticPersist: Compiler Support for PMEM Programming. Sorav Bansal |
| 2023 | Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. Nicolas Berthier, Narges Khakpour |
| 2023 | Synthesizing History and Prophecy Variables for Symbolic Model Checking. Cole Vick, Kenneth L. McMillan |
| 2023 | Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings Cezara Dragoi, Michael Emmi, Jingbo Wang |