Taming Parallelism in a Multi-Variant Execution Environment
Safe software updates via multi-version execution