Compiler validation via equivalence modulo inputs
Compiler validation via equivalence modulo inputs
Vu Le,M. Afshari,Z. Su
2014 · DOI: 10.1145/2594291.2594334
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 540 Citations
TLDR
This work introduces equivalence modulo inputs (EMI), a simple, widely applicable methodology for validating optimizing compilers, and profiles a program's test executions and stochastically prune its unexecuted code to create a practical implementation.