Download
https://hgpu.org/?p=13136
Scalable Verification Techniques for Data-Parallel Programs
Share