Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, Martin C. Rinard. Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. In Özcan Özturk, Kemal Ebcioglu, Sandhya Dwarkadas, editors, Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015. pages 473-486, ACM, 2015. [doi]
@inproceedings{Sidiroglou-Douskos15,
title = {Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement},
author = {Stelios Sidiroglou-Douskos and Eric Lahtinen and Nathan Rittenhouse and Paolo Piselli and Fan Long and Deokhwan Kim and Martin C. Rinard},
year = {2015},
doi = {10.1145/2694344.2694389},
url = {http://doi.acm.org/10.1145/2694344.2694389},
researchr = {https://researchr.org/publication/Sidiroglou-Douskos15},
cites = {0},
citedby = {0},
pages = {473-486},
booktitle = {Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015},
editor = {Özcan Özturk and Kemal Ebcioglu and Sandhya Dwarkadas},
publisher = {ACM},
isbn = {978-1-4503-2835-7},
}