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
Principal Researcher
My research interests include Blockchain, Distributed Systems, Constraint Programming, Formal Verification, Programming Languages and Program Analysis.