Translation Validation
Abstract elided by the publisher.
Related papers
- Equality-Based Translation Validator for LLVM CAV 2011
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli SAS 2010
- TVOC: A Translation Validator for Optimizing Compilers CAV 2005
- Formal verification of translation validators: a case study on instruction scheduling optimizations POPL 2008
- Translation Validation: From Simulink to C CAV 2009
- Evaluating value-graph translation validation for LLVM PLDI 2011
- Translation validation for an optimizing compiler PLDI 2000
- Translation validation for a verified OS kernel PLDI 2013