Taming Parallelism in a Multi-Variant Execution Environment
Program Analysis and Specialization for the C Programming Language