BibTeX record conf/oopsla/ChongDKKQ13

download as .bib file

@inproceedings{DBLP:conf/oopsla/ChongDKKQ13,
  author    = {Nathan Chong and
               Alastair F. Donaldson and
               Paul H. J. Kelly and
               Jeroen Ketema and
               Shaz Qadeer},
  title     = {Barrier invariants: a shared state abstraction for the analysis of
               data-dependent {GPU} kernels},
  booktitle = {{OOPSLA}},
  pages     = {605--622},
  publisher = {{ACM}},
  year      = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics