GPUVerify: A Verifier for GPU Kernels

224

IRUS Total
Downloads

Altmetric

File	Description	Size	Format
OOPSLA12.pdf	Accepted version	556.39 kB	Adobe PDF	View/Open

Title:	GPUVerify: A Verifier for GPU Kernels
Authors:	Betts, A Chong, N Donaldson, AF Qadeer, S Thomson, P
Item Type:	Conference Paper
Issue Date:	19-Oct-2012
URI:	http://hdl.handle.net/10044/1/14145
DOI:	http;//dx.doi.org/10.1145/2398857.2384625
ISSN:	0362-1340
Publisher:	ASSOC COMPUTING MACHINERY
Start Page:	113
End Page:	131
Journal / Book Title:	ACM SIGPLAN NOTICES
Volume:	47
Issue:	10
Copyright Statement:	Copyright © 2012 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN NOTICES, VOL: 47, ISS: 10, (2011) http://doi.acm.org/10.1145/2398857.2384625
Publication Status:	Published
Appears in Collections:	Computing