Automatic Termination Analysis for GPU Kernels

Jeroen Ketema, Alastair F. Donaldson
Imperial College London
14th International Workshop on Termination (WST 2014), 2014


   title={Automatic Termination Analysis for GPU Kernels},

   author={Ketema, Jeroen and Donaldson, Alastair F.},



Download Download (PDF)   View View   Source Source   



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.
VN:F [1.9.22_1171]
Rating: 0.0/5 (0 votes cast)

* * *

* * *

HGPU group © 2010-2017 hgpu.org

All rights belong to the respective authors

Contact us: