12794

The GPUVerify Method: a Tutorial Overview

Alastair F. Donaldson
Imperial College London
14th International Workshop on Automated Verification of Critical Systems, 2014

@article{donaldson2014gpuverify,

   title={The GPUVerify Method: a Tutorial Overview},

   author={Donaldson, Alastair F},

   journal={CTIT},

   volume={2},

   pages={7},

   year={2014}

}

Download Download (PDF)   View View   Source Source   Source codes Source codes

Package:

3230

views

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.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2024 hgpu.org

All rights belong to the respective authors

Contact us: