A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums
File(s)POPL14.pdf (546.29 KB)
Accepted version
Author(s)
Chong, Nathan
Donaldson, Alastair F
Ketema, Jeroen
Type
Conference Paper
Date Issued
2014-01-22
Date Acceptance
2014-01-22
Citation
ACM SIGPLAN NOTICES, 2014, 49 (1), pp.397-409
ISSN
0362-1340
Publisher
ASSOC COMPUTING MACHINERY
Start Page
397
End Page
409
Journal / Book Title
ACM SIGPLAN NOTICES
Volume
49
Issue
1
Copyright Statement
© 2014 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: 49, ISS.: 1, (2014), http://doi.acm.org/10.1145/2535838.2535882
Description
11.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=WOS:000331120500034&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Source
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science
Parallel prefix sum computation
GPUs
abstraction
formal verification
GPU KERNELS
COMPUTATION
SCANS
Publication Status
Published
Start Date
2014-01-22
Finish Date
2014-01-24
Coverage Spatial
San Diego, CA