@inproceedings{BettsCDQT12,
	Author = {Betts, A. and Chong, N. and Donaldson, A. and Qadeer, S. and Thomson, P.},
	Booktitle = OOPSLA,
	Pages = {113--132},
	Publisher = ACM,
	Title = {{GPUVerify}: a verifier for {GPU} kernels},
	Year = 2012}

{"_id":"Lu5Xja49SMAmHyPiA","bibbaseid":"betts-chong-donaldson-qadeer-thomson-gpuverifyaverifierforgpukernels-2012","authorIDs":[],"author_short":["Betts, A.","Chong, N.","Donaldson, A.","Qadeer, S.","Thomson, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Betts"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Chong"],"firstnames":["N."],"suffixes":[]},{"propositions":[],"lastnames":["Donaldson"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Qadeer"],"firstnames":["S."],"suffixes":[]},{"propositions":[],"lastnames":["Thomson"],"firstnames":["P."],"suffixes":[]}],"booktitle":"OOPSLA","pages":"113–132","publisher":"ACM","title":"GPUVerify: a verifier for GPU kernels","year":"2012","bibtex":"@inproceedings{BettsCDQT12,\n\tAuthor = {Betts, A. and Chong, N. and Donaldson, A. and Qadeer, S. and Thomson, P.},\n\tBooktitle = OOPSLA,\n\tPages = {113--132},\n\tPublisher = ACM,\n\tTitle = {{GPUVerify}: a verifier for {GPU} kernels},\n\tYear = 2012}\n\n","author_short":["Betts, A.","Chong, N.","Donaldson, A.","Qadeer, S.","Thomson, P."],"key":"BettsCDQT12","id":"BettsCDQT12","bibbaseid":"betts-chong-donaldson-qadeer-thomson-gpuverifyaverifierforgpukernels-2012","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.499Z","downloads":0,"keywords":[],"search_terms":["gpuverify","verifier","gpu","kernels","betts","chong","donaldson","qadeer","thomson"],"title":"GPUVerify: a verifier for GPU kernels","year":2012,"dataSources":["7Z8XEkSJX2s636QcA"]}