Manuel Rigger, Roland Schatz, René Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck. Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model. In Xipeng Shen, James Tuck, Ricardo Bianchini, Vivek Sarkar, editors, Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018, Williamsburg, VA, USA, March 24-28, 2018. pages 377-391, ACM, 2018. [doi]
@inproceedings{RiggerSMGM18,
title = {Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model},
author = {Manuel Rigger and Roland Schatz and René Mayrhofer and Matthias Grimmer and Hanspeter Mössenböck},
year = {2018},
doi = {10.1145/3173162.3173174},
url = {http://doi.acm.org/10.1145/3173162.3173174},
researchr = {https://researchr.org/publication/RiggerSMGM18},
cites = {0},
citedby = {0},
pages = {377-391},
booktitle = {Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018, Williamsburg, VA, USA, March 24-28, 2018},
editor = {Xipeng Shen and James Tuck and Ricardo Bianchini and Vivek Sarkar},
publisher = {ACM},
}