Interleaving and lock-step semantics for analysis and verification of GPU kernels

Title:	Interleaving and lock-step semantics for analysis and verification of GPU kernels
Authors:	Collingbourne, P Donaldson, AF Ketema, J Qadeer, S
Item Type:	Conference Paper
Editors:	Felleisen, M Gardner, P
Issue Date:	16-Mar-2013
Date of Acceptance:	16-Mar-2013
URI:	http://hdl.handle.net/10044/1/32141
DOI:	http://dx.doi.org/10.1007/978-3-642-37036-6_16
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/Funder:	Engineering & Physical Science Research Council (EPSRC)
Funder's Grant Number:	EP/K011499/1
Conference Name:	22nd European Symposium on Programming, ESOP 2013
Keywords:	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
Conference Place:	Rome, Italy
Appears in Collections:	Computing Faculty of Engineering