Real-world design and evaluation of compiler-managed GPU redundant multithreading | IEEE Conference Publication | IEEE Xplore