Engineering Record And Replay For Deployability: Extended Technical Report
Jockey: a user-space library for record-replay debugging