Rex: replication at the speed of multi-core
CoreDet: a compiler and runtime system for deterministic multithreaded execution