@misc{indiciae68b8d43cd7cb,
  title = {Specifying and Testing GPU Workgroup Progress Models},
  author = {Tyler Sorensen and Lucas F. Salvador and Harmit Raval and Hugues Evrard and John Wickerson and Margaret Martonosi and Alastair F. Donaldson},
  year = {2021},
  doi = {10.1145/3485508},
  url = {https://arxiv.org/abs/2109.06132},
  note = {Source identifier: 2109.06132}
}