Engineering Record and Replay for Deployability
Jockey: a user-space library for record-replay debugging