40
IRUS TotalDownloads
Altmetric
Engineering a static verification tool for GPU kernels
paper.pdf| Title: | Engineering a static verification tool for GPU kernels |
| Authors: | Bardsley, E Betts, A Chong, N Collingbourne, P Deligiannis, P Donaldson, AF Ketema, J Liew, D Qadeer, S |
| Item 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. |
| Issue Date: | 18-Jul-2014 |
| Date of Acceptance: | 18-Jul-2014 |
| URI: | http://hdl.handle.net/10044/1/32178 |
| DOI: | http://dx.doi.org/10.1007/978-3-319-08867-9_15 |
| 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/Funder: | Engineering & Physical Science Research Council (EPSRC) |
| Funder's Grant Number: | EP/K011499/1 |
| Keywords: | Artificial Intelligence & Image Processing 08 Information And Computing Sciences |
| Publication Status: | Published |
| Appears in Collections: | Computing Faculty of Engineering |