Static Analysis

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.