Compiler techniques to reduce the synchronization overhead of GPU redundant multithreading | IEEE Conference Publication | IEEE Xplore