Don't have Telegram yet? Try it now!
https://hgpu.org/?p=14252
Optimization, Specification and Verification of the Prefix Sum Program in an OpenCL Environment