Engineering a Static Verification Tool for GPU Kernels

Article Details
Title:	Engineering a Static Verification Tool for GPU Kernels
Article URLs:	https://doi.org/10.1007/978-3-319-08867-9_15
Alternative Article URLs:	https://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2014/CAV.pdf
Authors:	Ethel Bardsley	Imperial College London
	Adam Betts	Imperial College London
	Nathan Chong	Imperial College London
	Peter Collingbourne	Google
	Pantazis Deligiannis	Imperial College London
	Alastair F. Donaldson	Imperial College London
	Jeroen Ketema	Imperial College London
	Daniel Liew	Imperial College London
	Shaz Qadeer	Microsoft Research
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://multicore.doc.ic.ac.uk/tools/GPUVerify/ http://multicore.doc.ic.ac.uk/tools/GPUVerify/CAV2014/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/BardsleyBCCDDKLQ14
Author Comments:

Computer Aided Verification, CAV 2014