VMCAI 2021
26 papers
- A Design of GPU-Based Quantitative Model Checking
- A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries
- A Self-certifying Compilation Framework for WebAssembly
- A Synchronous Effects Logic for Temporal Verification of Pure Esterel
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)
- Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
- Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis
- Compositional Model Checking for Multi-properties
- Compositional Satisfiability Solving in Separation Logic
- Concurrent Correctness in Vector Space
- Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories
- Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing
- Eliminating Message Counters in Synchronous Threshold Automata
- Formal Semantics and Verification of Network-Based Biocomputation Circuits
- GPURepair: Automated Repair of GPU Kernels
- Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper)
- Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching
- Model Checking Algorithms for Hyperproperties (Invited Paper)
- Netter: Probabilistic, Stateful Network Models
- On Preprocessing for Weighted MaxSAT
- Proving the Existence of Fair Paths in Infinite-State Systems
- Runtime Abstract Interpretation for Numerical Accuracy and Robustness
- Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking
- Twinning Automata and Regular Expressions for String Static Analysis
- Unbounded Procedure Summaries from Bounded Environments
- Verification of Concurrent Programs Using Petri Net Unfoldings