GPUDrano: Detecting Uncoalesced Accesses in GPU Programs

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63387-9_25 ◽

2017 ◽

pp. 507-525 ◽

Cited By ~ 5

Author(s):

Rajeev Alur ◽

Joseph Devietti ◽

Omar S. Navarro Leija ◽

Nimit Singhania

Download Full-text