SafetyNet
ACM SIGARCH Computer Architecture News
David A. Wood
Mark D. Hill
Milo M. K. Martin
Globally precise-restartable execution of parallel programs