Taming Parallelism in a Multi-Variant Execution Environment
Deterministic Process Groups in dOS