Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Abstract elided by the publisher.
783 papers · page 4 of 40
SecWasm: Information Flow Control for WebAssembly
Abstract elided by the publisher.
Lifting Numeric Relational Domains to Algebraic Data Types
Abstract elided by the publisher.
Automated Synthesis of Asynchronizations
Abstract elided by the publisher.
Case Study on Verification-Witness Validators: Where We Are and Where We Go
Abstract Software-verification tools sometimes produce incorrect answers, which can be a false alarm or a wrong claim of correctness. To increase the reliability of verification results, many verifiers now accompany their answers by witnesses in an interoperable standard format. …
Deciding Program Properties via Complete Abstractions on Bounded Domains
Abstract elided by the publisher.
Invariant Inference with Provable Complexity from the Monotone Theory
Abstract elided by the publisher.
Efficient Modular SMT-Based Model Checking of Pointer Programs
Abstract elided by the publisher.
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation
Abstract elided by the publisher.
Bootstrapping Library-Based Synthesis
Abstract elided by the publisher.
Boosting Robustness Verification of Semantic Feature Neighborhoods
Abstract elided by the publisher.
Fast and Incremental Computation of Weak Control Closure
Abstract elided by the publisher.
Local Completeness Logic on Kleene Algebra with Tests
Abstract elided by the publisher.
Parameterized Recursive Refinement Types for Automated Program Verification
Abstract elided by the publisher.
Adversarial Logic
Abstract elided by the publisher.
Towards Efficient Reasoning of Quantum Programs
Abstract elided by the publisher.
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Abstract elided by the publisher.
Fast and Efficient Bit-Level Precision Tuning
In this article, we introduce a new technique for precision tuning. This problem consists of finding the least data types for numerical values such that the result of the computation satisfies some accuracy requirement. State of the art techniques for precision tuning use a try a…
Hash Consed Points-To Sets
Abstract elided by the publisher.
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
Abstract elided by the publisher.