PUG : A Symbolic Verifier of GPU Programs

Update Item Information
Publication Type poster
School or College College of Engineering
Department Kahlert School of Computing
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
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