Program
Verification
Book

PV1 ⊧ Faialchecks data-race freedom of GPU kernels

Tool to detect data-races in kernels.

Application domain/field

Data-race freedom (DRF)
GPU kernels
Data-races
Static analysis

Expected input

CUDA kernel

Expected output

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

Links

Artifact for CAV '21: https://zenodo.org/record/4726300
Repository: https://gitlab.com/umb-svl/faial
- Last commit date: 25 April 2022

Related papers

Checking Data-Race Freedom of GPU Kernels, Compositionally (CAV '21)

Last publication date

15 July 2021

Related tools

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

ProVerB specific

Markdown description: view/edit
Reason for this entry: CAV 2021
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.