https://hgpu.org/?p=12432
On Static Timing Analysis of GPU Kernels