| 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 |
©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 |
