Engineering Record And Replay For Deployability: Extended Technical Report
Execution replay of multiprocessor virtual machines