Jeroen Ketema, Alastair F. Donaldson. Termination analysis for GPU kernels. Science of Computer Programming, 148:107-122, 2017. [doi]
@article{KetemaD17, title = {Termination analysis for GPU kernels}, author = {Jeroen Ketema and Alastair F. Donaldson}, year = {2017}, doi = {10.1016/j.scico.2017.04.009}, url = {https://doi.org/10.1016/j.scico.2017.04.009}, researchr = {https://researchr.org/publication/KetemaD17}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {148}, pages = {107-122}, }