Compiler validation via equivalence modulo inputs.

Vu Le, Mehrdad Afshari, Zhendong Su

Browse the full PLDI paper archive.