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