SAS 2022

20 papers

1. Adversarial Logic · Julien Vanegue
2. Automated Synthesis of Asynchronizations · Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
3. Boosting Robustness Verification of Semantic Feature Neighborhoods · Anan Kabaha, Dana Drachsler-Cohen
4. Bootstrapping Library-Based Synthesis · Kangjing Huang, Xiaokang Qiu
5. CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks · Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
6. Case Study on Verification-Witness Validators: Where We Are and Where We Go · Dirk Beyer, Jan Strejcek
7. Deciding Program Properties via Complete Abstractions on Bounded Domains · Roberto Bruni, Roberta Gori, Nicolas Manini
8. Efficient Modular SMT-Based Model Checking of Pointer Programs · Isabel Garcia-Contreras, Arie Gurfinkel, Jorge A. Navas
9. Fast and Incremental Computation of Weak Control Closure · Abu Naser Masud
10. Invariant Inference with Provable Complexity from the Monotone Theory · Yotam M. Y. Feldman, Sharon Shoham
11. Lifting Numeric Relational Domains to Algebraic Data Types · Santiago Bautista, Thomas P. Jensen, Benoît Montagu
12. Local Completeness Logic on Kleene Algebra with Tests · Marco Milanese, Francesco Ranzato
13. Parameterized Recursive Refinement Types for Automated Program Verification · Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato
14. Principles of Staged Static+Dynamic Partial Analysis · Aditya Anand, Manas Thakur
15. Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation · Roberto Giacobazzi, Isabella Mastroeni
16. SecWasm: Information Flow Control for WebAssembly · Iulia Bastys, Maximilian Algehed, Alexander Sjösten, Andrei Sabelfeld
17. Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs · Gilles Barthe, Adrien Koutsos, Solène Mirliaz, David Pichardie, Peter Schwabe
18. Solving Invariant Generation for Unsolvable Loops · Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
19. Specification-Guided Reinforcement Learning · Suguman Bansal
20. Towards Efficient Reasoning of Quantum Programs · Nengkun Yu