Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner. Verifying GPU kernels by test amplification. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 383-394, ACM, 2012. [doi]