GPUDrano: Detecting Uncoalesced Accesses in GPU Programs

Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania. GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Volume 10426 of Lecture Notes in Computer Science, pages 507-525, Springer, 2017. [doi]

Authors

Rajeev Alur

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

Joseph Devietti

This author has not been identified. Look up 'Joseph Devietti' in Google

Omar S. Navarro Leija

This author has not been identified. Look up 'Omar S. Navarro Leija' in Google

Nimit Singhania

This author has not been identified. Look up 'Nimit Singhania' in Google