Verifying GPU kernels by test amplification.

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

Published in: PLDI (2012)

Keyphrases

real time
kernel function
search engine
social networks
computer vision
website
test data
parallel computing
multiple kernel learning
parallel computation