The GPUVerify Method: a Tutorial Overview
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}
}
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.
September 16, 2014 by hgpu
