Provably correct peephole optimizations with Alive

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '15
Portland, OR, USA
ACM
New York, NY, USA
Pages 22-32
2015