Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software. - Florian Rommel; Christian Dietrich 001; Michael Rodin; Daniel Lohmann (EuroSys, 2019)