Debugging GPGPU applications