https://hgpu.org/?p=24104
GPURepair: Automated Repair of GPU Kernels