Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
No abstract available.
Related papers
- Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations POPL 2024
- Program Synthesis for Program Analysis TOPLAS 2018
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments CC 2019
- Compacting points-to sets through object clustering OOPSLA 2021
- Bit-Precise Procedure-Modular Termination Analysis TOPLAS 2018
- How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times ESOP 2018
- BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability TACAS 2026