Compile-Time Automatic Synchronization Insertion and Redundant Synchronization Elimination for GPU Kernels | IEEE Conference Publication | IEEE Xplore