Inproceedings,
GPUVerify: a verifier for GPU kernels.
A. Betts, N. Chong, A. Donaldson, S. Qadeer, and P. Thomson.OOPSLA, page 113-132. ACM, (2012)
Meta data
- BibTeX key
- conf/oopsla/BettsCDQT12
- entry type
- inproceedings
- booktitle
- OOPSLA
- year
- 2012
- pages
- 113-132
- publisher
- ACM
- crossref
- conf/oopsla/2012
- ee
- https://doi.org/10.1145/2384616.2384625
- isbn
- 978-1-4503-1561-6
- url
- http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#BettsCDQT12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/oopsla/BettsCDQT12
%A Betts, Adam
%A Chong, Nathan
%A Donaldson, Alastair F.
%A Qadeer, Shaz
%A Thomson, Paul
%B OOPSLA
%D 2012
%E Leavens, Gary T.
%E Dwyer, Matthew B.
%I ACM
%K
%P 113-132
%T GPUVerify: a verifier for GPU kernels.
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#BettsCDQT12
%@ 978-1-4503-1561-6
@inproceedings{conf/oopsla/BettsCDQT12,
added-at = {2023-12-13T00:14:42.000+0100},
author = {Betts, Adam and Chong, Nathan and Donaldson, Alastair F. and Qadeer, Shaz and Thomson, Paul},
biburl = {https://www.bibsonomy.org/bibtex/2e6e065dd2b13e2b3af7cc9b357691628/admin},
booktitle = {OOPSLA},
crossref = {conf/oopsla/2012},
editor = {Leavens, Gary T. and Dwyer, Matthew B.},
ee = {https://doi.org/10.1145/2384616.2384625},
interhash = {60b4ac8aa5818daf64c87889380cc8cf},
intrahash = {e6e065dd2b13e2b3af7cc9b357691628},
isbn = {978-1-4503-1561-6},
keywords = {},
pages = {113-132},
publisher = {ACM},
timestamp = {2023-12-13T00:14:42.000+0100},
title = {GPUVerify: a verifier for GPU kernels.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#BettsCDQT12},
year = 2012
}