The GPUVerify Method: a Tutorial Overview
Abstract
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.
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.70.986
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.70.986.969
Hosted By Universitätsbibliothek TU Berlin.