Provably correct peephole optimizations with alive.

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr

Browse the full PLDI paper archive.