GPUDet: a deterministic GPU architecture. - Hadi Jooybar; Wilson W. L. Fung; Mike O'Connor; Joseph Devietti; Tor M. Aamodt (ASPLOS, 2013)