PUG : A Symbolic Verifier of GPU Programs

Update Item Information
Publication Type poster
School or College Scientific Computing and Imaging Institute
Department Computing, School of
Creator Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert Michael Ii
Other Author Quinlan, Dan
Contributor Lawrence Livermore National Laboratory
Title PUG : A Symbolic Verifier of GPU Programs
Date 2010-10-06
Description PUG is a automated verifier for GPU programs written in C/CUDA. PUG verifies GPU kernels for Data Races, Barrier mismatches, Totally wrong results, and Weak memory model related bugs. SMT-based correctness checking methods for these error are often more scalable, general and modular.
Type Text; Image
Publisher University of Utah
Language eng
Bibliographic Citation Li, G., Gopalakrishnan, G., Kirby, R. M. II., & Quinlan, D. (2010). PUG : A Symbolic Verifier of GPU Programs. University of Utah.
Rights Management (c)Gudong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Dan Quinlan
Format Medium application/pdf
Format Extent 417,058 bytes
Identifier ir-main/14813
ARK ark:/87278/s6ff4b31
Setname ir_uspace
ID 707907
Reference URL https://collections.lib.utah.edu/ark:/87278/s6ff4b31
Back to Search Results