Don't have Telegram yet? Try it now!
https://hgpu.org/?p=8789
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels