Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Engineering a static verification tool for GPU kernels
File(s)
paper.pdf (949.5 KB)
Accepted version
Author(s)
Bardsley, E
Betts, A
Chong, N
Collingbourne, P
Deligiannis, P
Type
Journal Article
Abstract
We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verification community by helping to inform future tooling efforts. © 2014 Springer International Publishing.
Date Issued
2014-07-18
Date Acceptance
2014-07-18
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8559, pp.226-242
URI
DOI
ISSN
0302-9743
Publisher
Springer
Start Page
226
End Page
242
Journal / Book Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume
8559
Copyright Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08867-9_15
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Grant Number
EP/K011499/1
Subjects
Artificial Intelligence & Image Processing
08 Information And Computing Sciences
Publication Status
Published