A Hardware Memory Race Recorder for Deterministic Replay. - Xu, Min; Bodík, Rastislav; Hill, Mark D. (IEEE Micro, 2007)