Parallelism for Free: Bitvector Analyses -> No State Explosion!
Abstract elided by the publisher.
Related papers
- Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs TOPLAS 1996
- Automating Bitvector and Finite Field Equivalence Proofs in Lean CAV 2026
- Code Motion for Explicitly Parallel Programs PPoPP 1999
- AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks CAV 2020
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion TACAS 2022
- Interactive Bitvector Reasoning using Verified Bit-Blasting OOPSLA 2025
- Bounded partial-order reduction OOPSLA 2013
- The virtues of conflict: analysing modern concurrency PPoPP 2016