TVOC: A Translation Validator for Optimizing Compilers
Abstract elided by the publisher.
Related papers
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli SAS 2010
- Translation validation for an optimizing compiler PLDI 2000
- Optimization-Directed Compiler Fuzzing for Continuous Translation Validation PLDI 2025
- Formal verification of translation validators: a case study on instruction scheduling optimizations POPL 2008
- Evaluating value-graph translation validation for LLVM PLDI 2011
- Counterexample-guided correlation algorithm for translation validation OOPSLA 2020
- Modeling Dynamic (De)Allocations of Local Memory for Translation Validation OOPSLA 2024
- Verified validation of lazy code motion PLDI 2009