GPUVerify: a Verifier for GPU Kernels

File(s)

OOPSLA12.pdf (556.39 KB)

Accepted version

Show more

Author(s)

Betts, A

Chong, N

Donaldson, AF

Qadeer, S

Thomson, P

Type

Conference Paper

Editor(s)

Dwyer, MB

Date Issued

2012-10-19

Citation

ACM Sigplan Notices, 2012, 47 (10), pp.113-132

URI

http://hdl.handle.net/10044/1/14145

DOI

https://www.dx.doi.org/10.1145/2398857.2384625

ISSN

1523-2867

Publisher

ACM

Start Page

113

End Page

132

Journal / Book Title

ACM Sigplan Notices

Volume

47

Issue

10

Copyright Statement

Copyright © 2012 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN NOTICES, VOL: 47, ISS: 10, (2011) http://doi.acm.org/10.1145/2398857.2384625

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Description

10.06.14 KB. Ok to add accepted version to spiral

Identifier

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000311296200007&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202

Source

27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2012)

Publication Status

Accepted

Start Date

2012-10-19

Finish Date

2012-10-26

Coverage Spatial

Tucson, Arizona