Practical Symbolic Race Checking of GPU Programs

Article Details
Title:	Practical Symbolic Race Checking of GPU Programs
Article URLs:	https://doi.org/10.1109/SC.2014.20 http://doi.ieeecomputersociety.org/10.1109/SC.2014.20
Alternative Article URLs:
Authors:	Peng Li	University of Utah, School of Computing
	Guodong Li	Fujitsu Labs of America
	Ganesh Gopalakrishnan	University of Utah, School of Computing
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://sites.google.com/site/sesabench/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1346756, 1302449, 1148127
DBLP Key:	conf/sc/LiLG14
Author Comments:

ACM/IEEE Intl. Conf. for High Perf. Computing, Networking, Storage and Analysis, SC 2014