Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes. Taming undefined behavior 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 633-647, ACM, 2017. [doi]
@inproceedings{LeeKSHDMRL17,
title = {Taming undefined behavior in LLVM},
author = {Juneyoung Lee and Yoonseung Kim and Youngju Song and Chung-Kil Hur and Sanjoy Das and David Majnemer and John Regehr and Nuno P. Lopes},
year = {2017},
doi = {10.1145/3062341.3062343},
url = {http://doi.acm.org/10.1145/3062341.3062343},
researchr = {https://researchr.org/publication/LeeKSHDMRL17},
cites = {0},
citedby = {0},
pages = {633-647},
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},
}