Black-Box Equivalence Checking Across Compiler Optimizations.

Manjeet Dahiya, Sorav Bansal

Browse the full APLAS paper archive.