Static analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 / Gagandeep Singh, Caterina Urban (eds.).
International Static Analysis Symposium (29th : 2022 : Auckland, N.Z); Singh, Gagandeep, editor.; Urban, Caterina, editor.
2023
QA76.6
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Static analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 / Gagandeep Singh, Caterina Urban (eds.).
Meeting Name International Static Analysis Symposium (29th : 2022 : Auckland, N.Z)
ISBN 9783031223082 (electronic bk.)
303122308X (electronic bk.)
9783031223075
3031223071
DOI https://doi.org/10.1007/978-3-031-22308-2
Published Cham : Springer, 2023.
Language English
Description 1 online resource (470 pages) : illustrations.
Other Standard Identifiers 10.1007/978-3-031-22308-2 doi
Call Number QA76.6
Dewey Decimal Classification 005.1
Summary This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022. 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. .
Note Selected conference papers.
Includes author index.
Bibliography, etc. Note Includes bibliographical references.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Singh, Gagandeep, editor.
Urban, Caterina, editor.
Series Lecture notes in computer science ; 13790.
Lecture notes in computer science. Advanced research in computing and software science.
Available in Other Form Static analysis.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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 bounded domains
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export