The Design and Implementation of a Verification Technique for GPU Kernels. Betts, A., Chong, N., Donaldson, A. F., Ketema, J., Qadeer, S., Thomson, P., & Wickerson, J. ACM Trans. Programming Languages and Systems, 2015.
![The Design and Implementation of a Verification Technique for GPU Kernels [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Manuscript ![The Design and Implementation of a Verification Technique for GPU Kernels [link]](https://bibbase.org/img/filetypes/link.svg "link")
Mechanised proofs doi bibtex
Manuscript Mechanised proofs doi bibtex Downloads: 0
{"_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","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":{}},"html":""},"search_terms":["design","implementation","verification","technique","gpu","kernels","betts","chong","donaldson","ketema","qadeer","thomson","wickerson"],"keywords":[],"authorIDs":[],"dataSources":["uwKsyN4JQqFqb3dfX"]}