ProRace: Practical Data Race Detection for Production Use
Compiler-Directed Lightweight Checkpointing for Fine-Grained Guaranteed Soft Error Recovery