Buch, Englisch, Band 13790, 475 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 733 g
29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings
Buch, Englisch, Band 13790, 475 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 733 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-22307-5
Verlag: Springer Nature Switzerland
The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Invited Talks.- Specification-Guided Reinforcement Learning.- Towards Efficient Reasoning of Quantum Programs.- Regular Papers.- Solving Invariant Generation for Unsolvable Loops.- Principles of Staged Static+Dynamic Partial Analysis.- SecWasm: Information Flow Control for WebAssembly.- Lifting Numeric Relational Domains to Algebraic Data Types.- Automated Synthesis of Asynchronizations.- Case Study on Veri cation-Witness Validators: Where We Are and Where We Go.- Deciding program properties via complete abstractions on boundeddomains.- Invariant Inference With Provable Complexity From the Monotone Theory.- Efficient Modular SMT-Based Model Checking of Pointer Programs.- Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation.- Bootstrapping Library-Based Synthesis.- Boosting Robustness Veri cation of Semantic Feature Neighborhoods.- Fast and incremental computation of weak control closure.- Local Completeness Logic on Kleene Algebra with Tests.- Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.- Parameterized Recursive Re nement Types for Automated Program Verification.- Adversarial Logic.- CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.
