Specifying and testing GPU workgroup progress models. - Tyler Sorensen 001; Lucas F. Salvador; Harmit Raval; Hugues Evrard; John Wickerson; Margaret Martonosi; Alastair F. Donaldson (Proc. ACM Program. Lang., 2021)