Peng Li, Guodong Li, Ganesh Gopalakrishnan. Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs. In Jeffrey K. Hollingsworth, editor, SC Conference on High Performance Computing Networking, Storage and Analysis, SC '12, Salt Lake City, UT, USA - November 11 - 15, 2012. pages 29, IEEE/ACM, 2012. [doi]
@inproceedings{LiLG12,
title = {Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs},
author = {Peng Li and Guodong Li and Ganesh Gopalakrishnan},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2389036},
researchr = {https://researchr.org/publication/LiLG12},
cites = {0},
citedby = {0},
pages = {29},
booktitle = {SC Conference on High Performance Computing Networking, Storage and Analysis, SC '12, Salt Lake City, UT, USA - November 11 - 15, 2012},
editor = {Jeffrey K. Hollingsworth},
publisher = {IEEE/ACM},
isbn = {978-1-4673-0804-5},
}