Our paper CuFuzz: Hardening CUDA Programs through Transformation and Fuzzing is now available on arXiv.