Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
Abstract elided by the publisher.
642 papers · page 7 of 33
Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing
Abstract elided by the publisher.
A Design of GPU-Based Quantitative Model Checking
Abstract elided by the publisher.
Compositional Satisfiability Solving in Separation Logic
Abstract elided by the publisher.
A Self-certifying Compilation Framework for WebAssembly
Abstract elided by the publisher.
Twinning Automata and Regular Expressions for String Static Analysis
Abstract elided by the publisher.
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis
Abstract elided by the publisher.
On Preprocessing for Weighted MaxSAT
Abstract elided by the publisher.
Concurrent Correctness in Vector Space
Abstract elided by the publisher.
Unbounded Procedure Summaries from Bounded Environments
Abstract elided by the publisher.
A Synchronous Effects Logic for Temporal Verification of Pure Esterel
Abstract elided by the publisher.
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper)
Abstract elided by the publisher.
Eliminating Message Counters in Synchronous Threshold Automata
Abstract elided by the publisher.
Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Abstract elided by the publisher.
Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
Abstract elided by the publisher.
Netter: Probabilistic, Stateful Network Models
Abstract elided by the publisher.
A Cooperative Parallelization Approach for Property-Directed k-Induction
Abstract elided by the publisher.
Formalizing and Checking Multilevel Consistency
Abstract elided by the publisher.
Sharing Ghost Variables in a Collection of Abstract Domains
Abstract elided by the publisher.
The Correctness of a Code Generator for a Functional Language
Abstract elided by the publisher.