@article{ gpuverify_toplas,
  title = {The Design and Implementation of a Verification Technique for {GPU} Kernels},
  author = {Betts, Adam and Chong, Nathan and Donaldson, Alastair F. and Ketema, Jeroen and Qadeer, Shaz and Thomson, Paul and Wickerson, John},
  year = {2015},
  journal = {ACM Trans. Programming Languages and Systems},
  acronym = {TOPLAS},
  number = {3},
  volume = {37},
  url_manuscript = {papers/gpuverify_toplas.pdf},
  url_mechanised_proofs = {http://afp.sourceforge.net/entries/GPU_Kernel_PL.shtml},
  doi = {10.1145/2743017},
}

{"_id":"4iuWKKveXQW6mbecM","bibbaseid":"betts-chong-donaldson-ketema-qadeer-thomson-wickerson-thedesignandimplementationofaverificationtechniqueforgpukernels-2015","downloads":0,"creationDate":"2016-04-19T11:39:00.709Z","title":"The Design and Implementation of a Verification Technique for GPU Kernels","author_short":["Betts, A.","Chong, N.","Donaldson, A. F.","Ketema, J.","Qadeer, S.","Thomson, P.","Wickerson, J."],"year":2015,"bibtype":"article","biburl":"http://johnwickerson.github.io/john.bib","bibdata":{"bibtype":"article","type":"article","title":"The Design and Implementation of a Verification Technique for GPU Kernels","author":[{"propositions":[],"lastnames":["Betts"],"firstnames":["Adam"],"suffixes":[]},{"propositions":[],"lastnames":["Chong"],"firstnames":["Nathan"],"suffixes":[]},{"propositions":[],"lastnames":["Donaldson"],"firstnames":["Alastair","F."],"suffixes":[]},{"propositions":[],"lastnames":["Ketema"],"firstnames":["Jeroen"],"suffixes":[]},{"propositions":[],"lastnames":["Qadeer"],"firstnames":["Shaz"],"suffixes":[]},{"propositions":[],"lastnames":["Thomson"],"firstnames":["Paul"],"suffixes":[]},{"propositions":[],"lastnames":["Wickerson"],"firstnames":["John"],"suffixes":[]}],"year":"2015","journal":"ACM Trans. Programming Languages and Systems","acronym":"TOPLAS","number":"3","volume":"37","url_manuscript":"papers/gpuverify_toplas.pdf","url_mechanised_proofs":"http://afp.sourceforge.net/entries/GPU_Kernel_PL.shtml","doi":"10.1145/2743017","bibtex":"@article{ gpuverify_toplas,\n title = {The Design and Implementation of a Verification Technique for {GPU} Kernels},\n author = {Betts, Adam and Chong, Nathan and Donaldson, Alastair F. and Ketema, Jeroen and Qadeer, Shaz and Thomson, Paul and Wickerson, John},\n year = {2015},\n journal = {ACM Trans. Programming Languages and Systems},\n acronym = {TOPLAS},\n number = {3},\n volume = {37},\n url_manuscript = {papers/gpuverify_toplas.pdf},\n url_mechanised_proofs = {http://afp.sourceforge.net/entries/GPU_Kernel_PL.shtml},\n doi = {10.1145/2743017},\n}\n\n","author_short":["Betts, A.","Chong, N.","Donaldson, A. F.","Ketema, J.","Qadeer, S.","Thomson, P.","Wickerson, J."],"key":"gpuverify_toplas","id":"gpuverify_toplas","bibbaseid":"betts-chong-donaldson-ketema-qadeer-thomson-wickerson-thedesignandimplementationofaverificationtechniqueforgpukernels-2015","role":"author","urls":{" manuscript":"http://johnwickerson.github.io/papers/gpuverify_toplas.pdf"," mechanised proofs":"http://afp.sourceforge.net/entries/GPU_Kernel_PL.shtml"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["design","implementation","verification","technique","gpu","kernels","betts","chong","donaldson","ketema","qadeer","thomson","wickerson"],"keywords":[],"authorIDs":[],"dataSources":["uwKsyN4JQqFqb3dfX"]}