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
Director of R&D

My research interests include Blockchain, Distributed Systems, Constraint Programming, Formal Verification, Programming Languages and Program Analysis.

Related