Naila Farooqui, Karsten Schwan, Sudhakar Yalamanchili. Efficient Instrumentation of GPGPU Applications Using Information Flow Analysis and Symbolic Execution. In John Cavazos, Xiang Gong, David R. Kaeli, editors, Seventh Workshop on General Purpose Processing Using GPUs, GPGPU-7, Salt Lake City, UT, USA, March 1, 2014. pages 19, ACM, 2014. [doi]
Abstract is missing.