Interests

• Operating system construction
• Embedded systems (especially small ones)
• System software for dependable real-time systems
• Generative and compiler-based approaches
• Software product lines
• Hardware–RTOS Codesign

Selected Publications

Depending on the focus (Goal, Method, Technique) our research activities address several disciplines of practical computer science. I publish most of my work on systems, real-time, and software-engineering conferences. The following papers provide an overview of my research and research topics. Look here for the complete list of publications.

Systems

EuroSys Conference A
HyperAlloc: Efficient VM Memory De/Inflation via Hypervisor-Shared Page-Frame Allocators

Lars Wrenger, Kenny Albes, Marco Wurps, Christian Dietrich, Daniel LohmannProceedings of the Twentieth European Conference on Computer SystemsACM2025.
PDF Details 10.1145/3689031.3717484 [BibTex]

×

BibTex Entry

@inproceedings{wrenger:25:eurosys,
location = {New York, NY, USA},
author = {Lars Wrenger and Kenny Albes and Marco Wurps and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the Twentieth European Conference on Computer Systems},
doi = {10.1145/3689031.3717484},
entrysubtype = {Conference},
isbn = {9798400711961},
keywords = {Allocators, Ballooning, Overcommitment, Virtual Machines},
location = {Rotterdam, Netherlands},
numpages = {18},
organization = {Association for Computing Machinery},
pages = {702–719},
publisher = {ACM},
series = {EuroSys '25},
title = {HyperAlloc: Efficient VM Memory De/Inflation via Hypervisor-Shared Page-Frame Allocators},
url = {https://doi.org/10.1145/3689031.3717484},
year = {2025},
}

Close

USENIX Conference A Distinguished Artifact Award
LLFree: Scalable and Optionally-Persistent Page-Frame Allocation

Lars Wrenger, Florian Rommel, Alexander Halbuer, Christian Dietrich, Daniel Lohmann2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023Distinguished Artifact Award.
PDF Details Slides [BibTex]

×

BibTex Entry

@inproceedings{wrenger:23:atc,
location = {Boston, MA},
author = {Wrenger, Lars and Rommel, Florian and Halbuer, Alexander and Dietrich, Christian and Lohmann, Daniel},
booktitle = {2023 USENIX Annual Technical Conference (USENIX '23)},
entrysubtype = {Conference},
isbn = {978-1-939133-35-9},
month = {jul},
pages = {897–914},
publisher = {USENIX Association},
title = {{LLFree}: Scalable and {Optionally-Persistent} {Page-Frame} Allocation},
url = {https://www.usenix.org/conference/atc23/presentation/wrenger},
year = {2023},
}

Close

USENIX Conference A
MELF: Multivariant Executables for a Heterogeneous World

Dominik Töllner, Christian Dietrich, Illia Ostapyshyn, Florian Rommel, Daniel Lohmann2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023.
PDF Details [BibTex]

×

BibTex Entry

@inproceedings{toellner:23:atc,
location = {Boston, MA},
author = {Töllner, Dominik and Dietrich, Christian and Ostapyshyn, Illia and Rommel, Florian and Lohmann, Daniel},
booktitle = {2023 USENIX Annual Technical Conference (USENIX '23)},
entrysubtype = {Conference},
isbn = {978-1-939133-35-9},
month = {July},
pages = {257–273},
publisher = {USENIX Association},
title = {{MELF}: Multivariant Executables for a Heterogeneous World},
url = {https://www.usenix.org/conference/atc23/presentation/tollner},
year = {2023},
}

Close

OSDI Conference A*
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Christian Dietrich, Birte Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann14th Symposium on Operating System Design and Implementation (OSDI '20)2020.
PDF Details Video [BibTex]

×

BibTex Entry

@inproceedings{rommel:20:osdi,
author = {Florian Rommel and Christian Dietrich and Birte Friesel and Marcel K{ö}ppen and Christoph Borchert and Michael M{ü}ller and Olaf Spinczyk and Daniel Lohmann},
booktitle = {14th Symposium on Operating System Design and Implementation (OSDI '20)},
entrysubtype = {Conference},
isbn = {978-1-939133-19-9},
month = {November},
pages = {651-666},
title = {From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes},
year = {2020},
}

Close

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 Slides 10.1145/3302424.3303959 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:eurosys,
location = {New York, NY, USA},
author = {Florian Rommel and Christian Dietrich and Michael Rodin and Daniel Lohmann},
booktitle = {Fourteenth EuroSys Conference 2019 (EuroSys '19)},
doi = {10.1145/3302424.3303959},
entrysubtype = {Conference},
isbn = {978-1-4503-6281-8},
publisher = {ACM Press},
title = {Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software},
venue = {Dresden, Germany},
year = {2019},
}

Close

Real-Time Systems

RTSJ Journal
Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS

Gerion Entrup, Andreas Kässens, Björn Fiedler, Daniel LohmannReal-Time SystemsSpringer2024.
PDF 10.1007/s11241-024-09429-1 [BibTex]

×

BibTex Entry

@article{entrup:24:rts,
author = {Gerion Entrup and Andreas Kässens and Björn Fiedler and Daniel Lohmann},
doi = {10.1007/s11241-024-09429-1},
entrysubtype = {Journal},
journaltitle = {Real-Time Systems},
month = {October},
options = {openaccess=doi},
publisher = {Springer},
title = {Applied static analysis and specialization of cross-core syscalls for multi-core {AUTOSAR OS}},
year = {2024},
}

Close

RTAS Conference A
MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS

Gerion Entrup, Björn Fiedler, Daniel LohmannProceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)2023.
PDF Details Slides 10.1109/RTAS58335.2023.00028 [BibTex]

×

BibTex Entry

@inproceedings{entrup:23:rtas,
author = {Gerion Entrup and Björn Fiedler and Daniel Lohmann},
booktitle = {Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)},
doi = {10.1109/RTAS58335.2023.00028},
entrysubtype = {Conference},
month = {May},
title = {{MultiSSE}: Static Syscall Elision and Specialization for Event-Triggered Multi-Core {RTOS}},
year = {2023},
}

Close

RTAS Conference A
ARA: Static Initialization of Dynamically-Created System Objects

Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)2021.
PDF Details Video Teaser Video 10.1109/RTAS52030.2021.00039 [BibTex]

×

BibTex Entry

@inproceedings{fiedler:21:rtas,
author = {Björn Fiedler and Gerion Entrup and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)},
doi = {10.1109/RTAS52030.2021.00039},
entrysubtype = {Conference},
month = {May},
pages = {400–412},
title = {{ARA}: Static Initialization of Dynamically-Created System Objects},
venue = {Virtual Event},
year = {2021},
}

Close

RTSS Conference A*
RT.js: Practical Real-Time Scheduling for Web Applications

Christian Dietrich, Stefan Naumann, Robin Thrift, Daniel LohmannProceedings of the 40th IEEE Real-Time Systems Symposium 2019IEEE Computer Society Press2019.
PDF 10.1109/RTSS46320.2019.00017 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:19:rtss,
location = {Hong Kong, China},
author = {Christian Dietrich and Stefan Naumann and Robin Thrift and Daniel Lohmann},
booktitle = {Proceedings of the 40th IEEE Real-Time Systems Symposium 2019},
doi = {10.1109/RTSS46320.2019.00017},
entrysubtype = {Conference},
publisher = {IEEE Computer Society Press},
title = {RT.js: Practical Real-Time Scheduling for Web Applications},
year = {2019},
}

Close

RTSS Conference A*
Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads

Christian Dietrich, Daniel LohmannProceedings of the 39th IEEE Real-Time Systems Symposium 2018IEEE Computer Society Press2018.
PDF Details Slides Raw Data 10.1109/RTSS.2018.00049 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:18:rtss,
location = {Nashville, Tennessee, USA},
author = {Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 39th IEEE Real-Time Systems Symposium 2018},
doi = {10.1109/RTSS.2018.00049},
editor = {Sebastian Altmeyer},
entrysubtype = {Conference},
publisher = {IEEE Computer Society Press},
title = {Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads},
year = {2018},
}

Close

Dependable Systems

EMSOFT Journal A
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions

Illia Ostapyshyn, Gabriele Serra, Tim-Marek Thomas, Daniel LohmannIEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsIEEE Computer Society Press2024.
PDF 10.1109/TCAD.2024.3443773 [BibTex]

×

BibTex Entry

@article{ostapyshyn:24:emsoft,
author = {Ostapyshyn, Illia and Serra, Gabriele and Thomas, Tim-Marek and Lohmann, Daniel},
doi = {10.1109/TCAD.2024.3443773},
entrysubtype = {Journal},
journaltitle = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
publisher = {IEEE Computer Society Press},
title = {KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions},
year = {2024},
}

Close

SAFECOMP Conference B
ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation

Tim-Marek Thomas, Christian Dietrich, Oskar Pusz, Daniel Lohmann41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_17 [BibTex]

×

BibTex Entry

@inproceedings{thomas:22:safecomp,
location = {Munich, Germany},
author = {Tim-Marek Thomas and Christian Dietrich and Oskar Pusz and Daniel Lohmann},
booktitle = {41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)},
doi = {10.1007/978-3-031-14835-4_17},
entrysubtype = {Conference},
publisher = {Springer-Verlag},
title = {ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation},
year = {2022},
}

Close

LCTES Conference A
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
PDF Slides 10.1145/3461648.3463851 [BibTex]

×

BibTex Entry

@inproceedings{pusz:21:lctes,
location = {New York, NY, USA},
author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
doi = {10.1145/3461648.3463851},
entrysubtype = {Conference},
month = {June},
pages = {97–109},
publisher = {ACM Press},
title = {Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
venue = {Virtual Conference},
year = {2021},
}

Close

PRDC Conference B
Program-Structure–Guided Approximation of Large Fault Spaces

Oskar Pusz, Daniel Kiechle, Christian Dietrich, Daniel Lohmann2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]

×

BibTex Entry

@inproceedings{pusz:19:prdc,
location = {Washington, DC, USA},
author = {Oskar Pusz and Daniel Kiechle and Christian Dietrich and Daniel Lohmann},
booktitle = {2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)},
doi = {10.1109/PRDC47002.2019.00044},
entrysubtype = {Conference},
issn = {1555-094X},
publisher = {IEEE Computer Society Press},
title = {Program-Structure–Guided Approximation of Large Fault Spaces},
year = {2019},
}

Close

DAC Conference A
Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection

Christian Dietrich, Achim Schmider, Oskar Pusz, Guillermo Payá-Vayá, Daniel LohmannProceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)ACM Press2018.
PDF Slides Raw Data 10.1145/3195970.3196019 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:18:dac,
location = {San Francisco, California, USA},
author = {Christian Dietrich and Achim Schmider and Oskar Pusz and Guillermo Payá-Vayá and Daniel Lohmann},
booktitle = {Proceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)},
doi = {10.1145/3195970.3196019},
entrysubtype = {Conference},
isbn = {978-1-4503-5700-5/18/06},
publisher = {ACM Press},
title = {Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection},
year = {2018},
}

Close

Software Engineering

USENIX Conference A
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing

Tobias Landsberg, Johannes Grunenberg, Christian Dietrich, Daniel LohmannProceedings of the 2025 USENIX Annual Technical Conference (USENIX ATC '25)USENIX Association2025.
PDF [BibTex]

×

BibTex Entry

@inproceedings{landsberg:25:atc,
author = {Tobias Landsberg and Johannes Grunenberg and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2025 USENIX Annual Technical Conference (USENIX ATC '25)},
entrysubtype = {Conference},
isbn = {978-1-939133-48-9},
month = {July},
pages = {1467-1479},
publisher = {USENIX Association},
title = {IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing},
venue = {Boston, MA, USA},
year = {2025},
}

Close

CACM Journal
'What is the Ideal Operating System?': Technical Perspective

Daniel LohmannCommunications of the ACM65.5Association for Computing Machinery2022.
PDF 10.1145/3524299 [BibTex]

×

BibTex Entry

@article{lohmann:22:cacm,
location = {New York, NY, USA},
author = {Lohmann, Daniel},
doi = {10.1145/3524299},
entrysubtype = {Journal},
issn = {0001-0782},
issue_date = {May 2022},
journaltitle = {Communications of the ACM},
month = {apr},
number = {5},
publisher = {Association for Computing Machinery},
title = { 'What is the Ideal Operating System?': Technical Perspective},
volume = {65},
year = {2022},
}

Close

EMSOFT Journal A
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries

Andreas Ziegler, Julian Geus, Bernhard Heinloth, Timo Hönig, Daniel LohmannACM Transactions on Embedded Computing Systems18.5sACM Press2019.
PDF Raw Data 10.1145/3358222 [BibTex]

×

BibTex Entry

@article{ziegler:19:emsoft,
acmid = {3358222},
location = {New York, NY, USA},
articleno = {102},
author = {Andreas Ziegler and Julian Geus and Bernhard Heinloth and Timo H{ö}nig and Daniel Lohmann},
doi = {10.1145/3358222},
entrysubtype = {Journal},
issn = {1539-9087},
journaltitle = {ACM Transactions on Embedded Computing Systems},
keywords = {Shared Libraries; Binary Tailoring; Linux},
month = {October},
number = {5s},
numpages = {23},
pages = {102:1–102:23},
publisher = {ACM Press},
title = {Honey, {I} Shrunk the {ELFs}: Lightweight Binary Tailoring of Shared Libraries},
volume = {18},
year = {2019},
}

Close

ICSE Conference A*
The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists

Ralf Ramsauer, Daniel Lohmann, Wolfgang MauererProceedings of the 41st International Conference on Software Engineering (ICSE '19)2019.
PDF Raw Data 10.1109/ICSE.2019.00088 [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:19:icse,
author = {Ralf Ramsauer and Daniel Lohmann and Wolfgang Mauerer},
booktitle = {Proceedings of the 41st International Conference on Software Engineering (ICSE '19)},
doi = {10.1109/ICSE.2019.00088},
entrysubtype = {Conference},
month = {May},
pages = {807–818},
title = {The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists},
venue = {Montreal, QC, Canada},
year = {2019},
}

Close

FSE Conference A* Distinguished Paper Award
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study

Klaus-Benedikt Schultis, Christoph Elsner, Daniel LohmannProceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE '14)ACM Press2014Distinguished Paper Award.
PDF 10.1145/2635868.2635876 [BibTex]

×

BibTex Entry

@inproceedings{schultis:14:fse,
location = {New York, NY, USA},
ar = {22\% (61/273)},
author = {Klaus-Benedikt Schultis and Christoph Elsner and Daniel Lohmann},
booktitle = {Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE '14)},
doi = {10.1145/2635868.2635876},
entrysubtype = {Conference},
isbn = {978-1-4503-3056-5},
month = {November},
pages = {542–552},
publisher = {ACM Press},
title = {Architecture Challenges for Internal Software Ecosystems: {A} Large-Scale Industry Case Study},
venue = {Hong Kong},
year = {2014},
}

Close

Reviewing

I frequently serve on PCs and as reviewer for venues in the broad area of systems software development – from systems up to software engineering.

Conferences and Workshops

EMSOFT	2023 (PC)
RTSS	2018 (PC) 2016 (PC)
RTAS	2016 (PC, Demos PC) 2014 (PC) 2013 (PC)
ECRTS	2017 (PC)
ICDCS	2018 (PC)
SYSTOR	2017 (PC) 2022 (PC)
ISORC	2023 (PC) 2022 (PC) 2021 (PC) 2020 (PC)
ECOOP	2017 (External Reviewer)
EuroSys	2025 (PC) 2015 (External Reviewer) 2010 (Shadow PC) 2009 (External Reviewer)
OSPERT	2022 (Chair) 2019 (Chair) 2018 (PC) 2017 (PC) 2016 (PC) 2015 (PC) 2014 (PC)
PLOS	2019 (PC)
EWiLi	2019 (PC)

Journals

ACM	TECS TOSEM
IEEE	TSE micro
Springer	TIME TAOSD STTT VLSI
Elsevier	JSA

Note: I am no longer willing to do any reviewing for Elsevier. Please refrain from contacting me in this respect.