Engineering Record And Replay For Deployability: Extended Technical Report
QuickRec: prototyping an intel architecture extension for record and replay of multithreaded programs