Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels.

Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer

Browse the full OOPSLA paper archive.