@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},
}