Specifying and testing GPU workgroup progress models
@article{DBLP:journals/pacmpl/SorensenSREWMD21,
author = {Tyler Sorensen and
Lucas F. Salvador and
Harmit Raval and
Hugues Evrard and
John Wickerson and
Margaret Martonosi and
Alastair F. Donaldson},
title = {Specifying and testing {GPU} workgroup progress models},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1-30},
year = {2021},
doi = {10.1145/3485508},
}