default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th 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.
last updated on 2025-12-12 23:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
