TY  - RPRT
TI  - Specifying and Testing GPU Workgroup Progress Models
AU  - Tyler Sorensen
AU  - Lucas F. Salvador
AU  - Harmit Raval
AU  - Hugues Evrard
AU  - John Wickerson
AU  - Margaret Martonosi
AU  - Alastair F. Donaldson
PY  - 2021
DO  - 10.1145/3485508
UR  - https://arxiv.org/abs/2109.06132
ID  - 2109.06132
ER  -