DMCA

Provably Correct Peephole Optimizations with Alive

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