Static Analysis

Invited Talks.-&nbsp;Specification-Guided Reinforcement Learning.- Towards Efficient Reasoning of Quantum Programs.-&nbsp;Regular Papers.-&nbsp;Solving Invariant Generation for Unsolvable Loops.-&nbsp;Principles of Staged Static+Dynamic Partial Analysis.-&nbsp;SecWasm: Information Flow Control for WebAssembly.-&nbsp;Lifting Numeric Relational Domains to Algebraic Data Types.-&nbsp;Automated Synthesis of Asynchronizations.-&nbsp;Case Study on Veri cation-Witness Validators: Where We Are and&nbsp;Where We Go.-&nbsp;Deciding program properties via complete abstractions on bounded<div>domains.-&nbsp;Invariant Inference With Provable Complexity From the Monotone Theory.-&nbsp;Efficient Modular SMT-Based Model Checking of Pointer Programs.-&nbsp;Property-driven code obfuscations - Reinterpreting Jones-optimality in&nbsp;Abstract Interpretation.-&nbsp;Bootstrapping Library-Based Synthesis.-&nbsp;Boosting Robustness Veri cation of Semantic Feature Neighborhoods.-&nbsp;Fast and incremental computation of weak control closure.-&nbsp;Local Completeness Logic on Kleene Algebra with Tests.-&nbsp;Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs.-&nbsp;Parameterized Recursive Re nement Types for Automated Program&nbsp;Verification.-&nbsp;Adversarial Logic.-&nbsp;CLEVEREST: Accelerating CEGAR-based Neural Network Verification&nbsp;via Adversarial Attacks.</div><div><br></div>