The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
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.
How it got here
How it got here
agent via openalex
Added
2026-10-25 21:19 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{le2014compiler,
title = {Compiler validation via equivalence modulo inputs},
author = {Vu Le and Mehrdad Afshari and Zhendong Su},
year = {2014},
journal = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {216--226},
doi = {10.1145/2594291.2594334},
}