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)

* * *

* * *

Follow us on Twitter

HGPU group

1947 peoples are following HGPU @twitter

Like us on Facebook

HGPU group

444 people like HGPU on Facebook

HGPU group © 2010-2016 hgpu.org

All rights belong to the respective authors

Contact us: