QuickRec: prototyping an intel architecture extension for record and replay of multithreaded programs
Deterministic replay of Java multithreaded applications