Equality-Based Translation Validator for LLVM
No abstract available.
DOI 10.1007/978-3-642-22110-1_59
Related papers
- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation CAV 2021
- Evaluating value-graph translation validation for LLVM PLDI 2011
- Alive2: bounded translation validation for LLVM PLDI 2021
- Translation Validation for LLVM's AArch64 Backend OOPSLA 2025
- Optimization-Directed Compiler Fuzzing for Continuous Translation Validation PLDI 2025
- Scalable validation of binary lifters PLDI 2020
- ANF preserves dependent types up to extensional equality JFP 2022
- Equality saturation: a new approach to optimization POPL 2009