12145

Automatic Termination Analysis for GPU Kernels

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

Download Download (PDF)   View View   Source Source   

1643

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

All rights belong to the respective authors

Contact us:

contact@hpgu.org