Clover: Compiler Directed Lightweight Soft Error Resilience
SWIFT: software implemented fault tolerance