· 2014
Compiler validation via equivalence modulo inputs
- 374citations
- 2014year
Short summary
A new methodology, equivalence modulo inputs (EMI), is introduced for validating optimizing compilers by testing dynamic execution against static compilation across inputs.
AI-generated from the title and abstract; the full text is not read.
Key points
- Introduces Equivalence Modulo Inputs (EMI) as a compiler validation methodology.
- EMI exploits the interplay between dynamic execution on test inputs and static compilation for all inputs.
- Test inputs naturally generate EMI variants for differential compiler testing.
- The method is designed to target difficult-to-find miscompilations.
AI-generated from the title and abstract; the full text is not read.
Abstract
We introduce equivalence modulo inputs (EMI), a simple, widely applicable methodology for validating optimizing compilers. Our key insight is to exploit the close interplay between (1) dynamically executing a program on some test inputs and (2) statically compiling the program to work on all possible inputs. Indeed, the test inputs induce a natural collection of the original program's EMI variants, which can help differentially test any compiler and specifically target the difficult-to-find miscompilations.
The authors' abstract, as published at the source., 2014 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Software
SoftwareComputer Science