Florian Rommel

Florian Rommel (M.Sc.)

Wissenschaftlicher Mitarbeiter

Mail: rommel@sra.uni-hannover.de
Telefon: 0511 762 19729
Adresse: 30167 Hannover, Appelstraße 4, Raum 119


CADOS: Configurability-Aware Development of Operating Systems (DFG: LO 1719/3-1)
In the CADOS project, we investigate scalable methods and tools to deal with the implementation of variability across all implementation layers of modern system software.
Multiverse: While static variability can be completely resolved at compile time, dynamic variation points come at a cost arising from extra tests and branches in the control flow. Multiverse is an approach to handle dynamic variability efficiently by means of binary patching. It provides an extension to the C programming language that enables the developer to express dynamic variability in performance-critical paths. With specially annotated config variables, multiverse can generate multiple versions of a function and dynamically binary patch the running system to use the version of the current configuration. The goal is to narrow the gap between dynamic and static variability by allowing the developer to easily employ run-time configurability at zero or low cost.


EuroSys Conference A
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software
Florian Rommel, Christian Dietrich, Michael Rodin, Daniel LohmannFourteenth EuroSys Conference 2019 (EuroSys '19)ACM Press2019.
PDF 10.1145/3302424.3303959 [BibTex]


Supervised Theses

Open Theses Topics

☹ ️Currently there are no open topics. Have a look at Theses (BA/MA) for all open thesis topics at SRA.

Running Theses

Run-Time Binary Patching for Systems with Dynamically Loadable Modules

Typ: Bachelorarbeit
Status: laufend
Supervisors: Florian Rommel, Daniel Lohmann
Project: CADOS
Bearbeiter: Dominik Töllner
Explore the possibilities of using multiverse on systems with loadable modules by extending its semantics and implementation.

Finished Student Theses

Measuring Effects of Compiler Flags on Different Processor Architectures

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Gerion Entrup, Florian Rommel, Daniel Lohmann
Project: AHA
Bearbeiter: Carlo Schmitt

Bintail: Binary Level Tailoring of ELF Executables via Feature Selection and Variant Elimination

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Christian Dietrich, Daniel Lohmann
Project: CADOS
Bearbeiter: Felix Herrmann (abgegeben: 04. Nov 2018)

Own Thesis

Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Christian Dietrich, Andreas Ziegler, Wolfgang Schröder-Preikschat, Daniel Lohmann
Project: CADOS
Bearbeiter: Florian Rommel (abgegeben: 02. Nov 2017)
Use the multiverse compiler plugin to optimize paths in the Linux kernel [PDF]