A Compiler and Runtime System for Deterministic Multithreaded Execution - View it on GitHub