Chao Peng. On the correctness of GPU programs. In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 443-447, ACM, 2019. [doi]
@inproceedings{Peng19-6,
title = {On the correctness of GPU programs},
author = {Chao Peng},
year = {2019},
doi = {10.1145/3293882.3338989},
url = {https://doi.org/10.1145/3293882.3338989},
researchr = {https://researchr.org/publication/Peng19-6},
cites = {0},
citedby = {0},
pages = {443-447},
booktitle = {Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019},
editor = {Dongmei Zhang and Anders Møller},
publisher = {ACM},
isbn = {978-1-4503-6224-5},
}