DrGPU: A Top-Down Profiler for GPU Applications