Rex: replication at the speed of multi-core
Kendo: efficient deterministic multithreading in software