A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The GPUVerify Method: a Tutorial Overview
2014
Electronic Communications of the EASST
Preserved Fulltext
I present a tutorial overview demonstrating the key technique used by GPUVerify, a static verification tool for graphics processing unit (GPU) kernels. The technique is a method for translating a massively parallel GPU kernel into a sequential program such that correctness of the sequential program implies data race-freedom of the parallel kernel.
doi:10.14279/tuj.eceasst.70.986
dblp:journals/eceasst/Donaldson14
fatcat:zm6764lvpbeojfwsik27k72yse