PV1 Faialchecks data-race freedom of GPU kernels

Tool to detect data-races in kernels.

Application domain/field

Expected input

CUDA kernel

Expected output

Whether the kernel is data-race free. If not, then it will list specific data-races.
CUDA

Links

Last commit date

25 April 2022

Related papers

https://doi.org/10.1007/978-3-030-81685-8_19 (CAV '21)

Last publication date

15 July 2021

Related tools

Other tools that can find data races: GPUVerify, PUG, GKLEE, SESA

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.