CoreDet: a compiler and runtime system for deterministic multithreaded execution
LLVM: a compilation framework for lifelong program analysis & transformation