Automatic Termination Analysis for GPU Kernels
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}
}
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.
May 26, 2014 by hgpu
