CoreDet: a compiler and runtime system for deterministic multithreaded execution
Kendo: efficient deterministic multithreading in software