RegMutex: Inter-Warp GPU Register Time-Sharing | IEEE Conference Publication | IEEE Xplore