


default search action
29th SAS 2022: Auckland, New Zealand
- Gagandeep Singh, Caterina Urban:
Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings. Lecture Notes in Computer Science 13790, Springer 2022, ISBN 978-3-031-22307-5
Invited Talks
- Suguman Bansal:
Specification-Guided Reinforcement Learning. 3-9 - Nengkun Yu
:
Towards Efficient Reasoning of Quantum Programs. 10-15
Regular Papers
- Daneshvar Amrollahi
, Ezio Bartocci, George Kenison
, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
Solving Invariant Generation for Unsolvable Loops. 19-43 - Aditya Anand
, Manas Thakur
:
Principles of Staged Static+Dynamic Partial Analysis. 44-73 - Iulia Bastys, Maximilian Algehed, Alexander Sjösten, Andrei Sabelfeld:
SecWasm: Information Flow Control for WebAssembly. 74-103 - Santiago Bautista
, Thomas P. Jensen
, Benoît Montagu
:
Lifting Numeric Relational Domains to Algebraic Data Types. 104-134 - Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri:
Automated Synthesis of Asynchronizations. 135-159 - Dirk Beyer
, Jan Strejcek
:
Case Study on Verification-Witness Validators: Where We Are and Where We Go. 160-174 - Roberto Bruni, Roberta Gori, Nicolas Manini:
Deciding Program Properties via Complete Abstractions on Bounded Domains. 175-200 - Yotam M. Y. Feldman, Sharon Shoham:
Invariant Inference with Provable Complexity from the Monotone Theory. 201-226 - Isabel Garcia-Contreras
, Arie Gurfinkel
, Jorge A. Navas
:
Efficient Modular SMT-Based Model Checking of Pointer Programs. 227-246 - Roberto Giacobazzi, Isabella Mastroeni
:
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. 247-271 - Kangjing Huang
, Xiaokang Qiu
:
Bootstrapping Library-Based Synthesis. 272-298 - Anan Kabaha
, Dana Drachsler-Cohen
:
Boosting Robustness Verification of Semantic Feature Neighborhoods. 299-324 - Abu Naser Masud
:
Fast and Incremental Computation of Weak Control Closure. 325-349 - Marco Milanese
, Francesco Ranzato
:
Local Completeness Logic on Kleene Algebra with Tests. 350-371 - Gilles Barthe, Adrien Koutsos
, Solène Mirliaz, David Pichardie, Peter Schwabe:
Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs. 372-396 - Ryoya Mukai, Naoki Kobayashi
, Ryosuke Sato
:
Parameterized Recursive Refinement Types for Automated Program Verification. 397-421 - Julien Vanegue:
Adversarial Logic. 422-448 - Zhe Zhao, Yedi Zhang, Guangke Chen
, Fu Song, Taolue Chen
, Jiaxiang Liu:
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. 449-473

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
