Benchmarks of the Paper: Conflict-Directed Delay-Bounding for Analyzing GPU Programs with Atomics
The prototype tool, GKLEEatm, is coming but not available right now. We will integrate into GKLEE in the near future. But you can try GKLEE here.
The original CUDA n-body and traveling salesman kernels are from Prof. Martin Burtscher.
You can find the origainl CUDA kernel here.
The Traveling Salesman kernel is here.
This document was translated from LATEX by HEVEA.