12145

Automatic Termination Analysis for GPU Kernels

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

@article{ketema2014automatic,

   title={Automatic Termination Analysis for GPU Kernels},

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

   year={2014}

}

Download Download (PDF)   View View   Source Source   

523

views

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-2017 hgpu.org

All rights belong to the respective authors

Contact us: