Engineering Record and Replay for Deployability
Engineering Record And Replay For Deployability: Extended Technical Report