VARAN the Unbelievable: An Efficient N-version Execution Framework
CoreDet: a compiler and runtime system for deterministic multithreaded execution