INFO:
Provably Correct Peephole Optimizations with Alive (PLDI '15) - Microsoft Research