Automatic Synchronization for GPU Kernels. - Sourav Anand; Nadia Polikarpova (FMCAD, 2018)