David Menendez, Santosh Nagarakatte. Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 49-63, ACM, 2017. [doi]
@inproceedings{MenendezN17,
title = {Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM},
author = {David Menendez and Santosh Nagarakatte},
year = {2017},
doi = {10.1145/3062341.3062372},
url = {http://doi.acm.org/10.1145/3062341.3062372},
researchr = {https://researchr.org/publication/MenendezN17},
cites = {0},
citedby = {0},
pages = {49-63},
booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017},
editor = {Albert Cohen 0001 and Martin T. Vechev},
publisher = {ACM},
isbn = {978-1-4503-4988-8},
}