Verifying GPU kernels by test amplification.

Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner

Browse the full PLDI paper archive.