VMCAI 2022

24 papers

1. A Flow-Insensitive-Complete Program Representation · Solène Mirliaz, David Pichardie
2. Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking · Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt
3. Bisimulations for Neural Network Reduction · Pavithra Prabhakar
4. Bit-Precise Reasoning via Int-Blasting · Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner + 3 more
5. EPMC Gets Knowledge in Multi-agent Systems · Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini + 1 more
6. Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems · David Bayani, Stefan Mitsch
7. Fast Three-Valued Abstract Bit-Vector Arithmetic · Jan Onderka, Stefan Ratschan
8. Flavors of Sequential Information Flow · Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
9. Generalized Arrays for Stainless Frames · Georg Stefan Schmid, Viktor Kuncak
10. Gradient-Descent for Randomized Controllers Under Partial Observability · Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
11. High Assurance Software for Financial Regulation and Business Platforms · Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron
12. Lightweight Shape Analysis Based on Physical Types · Olivier Nicole, Matthieu Lemerre, Xavier Rival
13. Loop Verification with Invariants and Contracts · Gidon Ernst
14. Making PROGRESS in Property Directed Reachability · Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
15. Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata · Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li
16. NP Satisfiability for Arrays as Powers · Rodrigo Raya, Viktor Kuncak
17. Out of Control: Reducing Probabilistic Models by Control-State Elimination · Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen
18. Relational String Abstract Domains · Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
19. STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking · Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang
20. Satisfiability and Synthesis Modulo Oracles · Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
21. Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms · Landon Taylor, Zhen Zhang
22. Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate · Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
23. Verifying Pufferfish Privacy in Hidden Markov Models · Depeng Liu, Bow-Yaw Wang, Lijun Zhang
24. Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE · Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel