GPURepair

GPURepair

GPURepair is a tool that can propose a fix to data-race and barrier-divergence errors in CUDA and OpenCL kernels. It uses GPUVerify as an oracle. It can also propose a fix for inter-block data-race in CUDA kernels using CUDA Cooperative Groups.

Saurabh Joshi
Saurabh Joshi
Assistant Professor, CSE

My research interests include Constraint Programming, Formal Verification and Program Analysis.

Related