Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Provably correct peephole optimizations with alive
PLDI, 2015.
@inproceedings{PLDI-2015-LopesMNR, author = "Nuno P. Lopes and David Menendez and Santosh Nagarakatte and John Regehr", booktitle = "{Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation}", doi = "10.1145/2737924.2737965", isbn = "978-1-4503-3468-6", pages = "22--32", publisher = "{ACM}", title = "{Provably correct peephole optimizations with alive}", year = 2015, }