Implementing and Evaluating Candidate-Based Invariant Generation

Downloads

Give summary...

• Paper preprint (pdf)
• Kernels (excluding Rightware suite) (zip)

Interactive plots

We reproduce ... as interactive plots so that you can explore the data.

Breakdown of kernels studied in paper

Our paper studies 383 kernels, broken down as follows:

• 54 OpenCL kernels from the AMD Accelerated Parallel Processing SDK v2.6
• 98 CUDA kernels from the NVIDIA GPU Computing SDK v5.0 and v2.0
• 16 CUDA kernels hand-translated from Microsoft's C++ AMP Sample Projects
• 20 CUDA kernels originating from the gpgpu-sim benchmarks
• 15 OpenCL kernels from the Parboil suite v2.5
• 18 OpenCL kernels from the Rodinia suite v2.4
• 50 OpenCL kernels from the SHOC suite
• 88 OpenCL kernels generated by the PPCG parallel code generator from the PolyBench/C benchmarks v4.0a
• 24 OpenCL kernels from the Rightware Basemark CL suite v1.1

All kernels, except for the commercial Rightware Basemark CL kernels, are included in the download above.

Thanks to subtlepatterns for the background of this website.