Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels

Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer. Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. In Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes, editors, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. pages 605-622, ACM, 2013. [doi]

Authors

Nathan Chong

This author has not been identified. It may be one of the following persons: Look up 'Nathan Chong' in Google

Alastair F. Donaldson

This author has not been identified. Look up 'Alastair F. Donaldson' in Google

Paul H. J. Kelly

This author has not been identified. Look up 'Paul H. J. Kelly' in Google

Jeroen Ketema

This author has not been identified. Look up 'Jeroen Ketema' in Google

Shaz Qadeer

This author has not been identified. It may be one of the following persons: Look up 'Shaz Qadeer' in Google