Automatic Termination Analysis for GPU Kernels
Authors: Jeroen Ketema and Alastair Donaldson
Paper Information
| Title: | Automatic Termination Analysis for GPU Kernels |
| Authors: | Jeroen Ketema and Alastair Donaldson |
| Proceedings: | WST 2014 Informal Proceedings |
| Editor: | Carsten Fuhs |
| Keywords: | termination, GPUs, concurrency |
| Abstract: | ABSTRACT. We describe a method for proving termination of massively parallel GPU kernels. An implementation in KITTeL is able to show termination of 94 of the 598 kernels in our benchmark suite. |
| Pages: | 5 |
| Talk: | Jul 17 12:15 |
| Paper: |  |