Verifying Peephole Rewriting in SSA Compiler IRs.

Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrs Goens, Tobias Grosser

Browse the full ITP paper archive.