%0 Conference Paper %1 conf/oopsla/ChongDKKQ13 %A Chong, Nathan %A Donaldson, Alastair F. %A Kelly, Paul H. J. %A Ketema, Jeroen %A Qadeer, Shaz %B OOPSLA %D 2013 %E Hosking, Antony L. %E Eugster, Patrick Th. %E Lopes, Cristina V. %I ACM %K %P 605-622 %T Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#ChongDKKQ13 %@ 978-1-4503-2374-1

@inproceedings{conf/oopsla/ChongDKKQ13, added-at = {2023-12-14T14:53:02.000+0100}, author = {Chong, Nathan and Donaldson, Alastair F. and Kelly, Paul H. J. and Ketema, Jeroen and Qadeer, Shaz}, biburl = {https://www.bibsonomy.org/bibtex/200729b443bcf4a2787b322e9279e6ab1/admin}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2013}, editor = {Hosking, Antony L. and Eugster, Patrick Th. and Lopes, Cristina V.}, ee = {https://doi.org/10.1145/2509136.2509517}, interhash = {e459e55e61e5934b2c45c9af0de9d8f5}, intrahash = {00729b443bcf4a2787b322e9279e6ab1}, isbn = {978-1-4503-2374-1}, keywords = {}, pages = {605-622}, publisher = {ACM}, timestamp = {2023-12-14T14:53:02.000+0100}, title = {Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#ChongDKKQ13}, year = 2013 }