VMCAI 2023

17 papers

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