A sound and complete abstraction for reasoning about parallel prefix sums
@inproceedings{DBLP:conf/popl/ChongDK14,
author = {Nathan Chong and
Alastair F. Donaldson and
Jeroen Ketema},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {A sound and complete abstraction for reasoning about parallel prefix sums},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014},
pages = {397-410},
publisher = {{ACM}},
year = {2014},
doi = {10.1145/2535838.2535882},
}