Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels
@inproceedings{DBLP:conf/oopsla/ChongDKKQ13,
author = {Nathan Chong and
Alastair F. Donaldson and
Paul H. J. Kelly and
Jeroen Ketema and
Shaz Qadeer},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Barrier invariants: a shared state abstraction for the analysis of data-dependent {GPU} kernels},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013},
pages = {605-622},
publisher = {{ACM}},
year = {2013},
doi = {10.1145/2509136.2509517},
}