BibTex format
@inproceedings{Chong:2013:10.1145/2509136.2509517,
author = {Chong, N and Donaldson, AF and Kelly, PHJ and Ketema, J and Qadeer, S},
doi = {10.1145/2509136.2509517},
pages = {605--621},
publisher = {ASSOC COMPUTING MACHINERY},
title = {Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels},
url = {http://dx.doi.org/10.1145/2509136.2509517},
year = {2013}
}