Flexible GPGPU instrumentation - View it on GitHub