Validating the Translation of an Industrial Optimizing Compiler.

I. Gordin, Raya Leviathan, Amir Pnueli

Browse the full ATVA paper archive.