Bit-Vector Rewriting with Automatic Rule Generation
Abstract elided by the publisher.
Related papers
- Automatically improving accuracy for floating point expressions PLDI 2015
- Automatic Parallelization and Optimization of Programs by Proof Rewriting SAS 2009
- IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL TACAS 2024
- Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code ICFP 2015
- The whiley rewrite language (WyRL) SLE 2015
- TensorRight: Automated Verification of Tensor Graph Rewrites POPL 2025
- Implementing Bit-addressing with Specialization ICFP 1997
- Bit-Precise Interpolation in Bitwuzla TACAS 2026