Dynamic Instrumentation and Optimization for GPU Applications