Interleaving and lock-step semantics for analysis and verification of GPU kernels
File(s)paper.pdf (736.7 KB)
Accepted version
Author(s)
Collingbourne, P
Donaldson, AF
Ketema, J
Qadeer, S
Type
Conference Paper
Editor(s)
Felleisen, M
Gardner, P
Date Issued
2013-03-16
Date Acceptance
2013-03-16
Citation
Lecture Notes in Computer Science, 2013, 7792, pp.270-289
ISBN
978-3-642-37035-9
ISSN
0302-9743
Publisher
Springer Verlag
Start Page
270
End Page
289
Journal / Book Title
Lecture Notes in Computer Science
Volume
7792
Copyright Statement
© Springer-Verlag 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-37036-6_16
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Grant Number
EP/K011499/1
Source
22nd European Symposium on Programming, ESOP 2013
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science, Theory & Methods
Computer Science
VERIFIER
Artificial Intelligence & Image Processing
08 Information And Computing Sciences
Publication Status
Published
Start Date
2013-03-16
Finish Date
2013-03-24
Coverage Spatial
Rome, Italy