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.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2021 hgpu.org

All rights belong to the respective authors

Contact us: