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

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

USENIX Conference A Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing

Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel LohmannProceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)USENIX Association2017Best Paper Award.
PDF Details Slides Raw Data [BibTex]

×

BibTex Entry

@inproceedings{dietrich:17:usenix,
location = {Berkeley, CA, USA},
author = {Christian Dietrich and Valentin Rothberg and Ludwig Füracker and Andreas Ziegler and Daniel Lohmann},
booktitle = {Proceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)},
entrysubtype = {Conference},
isbn = {9781931971386},
location = {Santa Clara, CA, USA},
month = {July},
publisher = {USENIX Association},
title = {{cHash:} Detection of Redundant Compilations via {AST} Hashing},
url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/dietrich},
venue = {Santa Clara, CA, USA},
year = {2017},
}

Close

USENIX Conference A
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue

Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)USENIX Association2014.
PDF Raw Data [BibTex]

×

BibTex Entry

@inproceedings{tartler:14:usenix,
location = {Berkeley, CA, USA},
ar = {18\% (44/241)},
author = {Reinhard Tartler and Christian Dietrich and Julio Sincero and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)},
category = {L4},
entrysubtype = {Conference},
isbn = {978-1-931971-10-2},
month = {June},
pages = {421–432},
publisher = {USENIX Association},
title = {Static Analysis of Variability in System Software: The 90,000 \#ifdefs Issue},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/tartler},
venue = {Philadelphia, PA, USA},
year = {2014},
}

Close

EuroSys Conference A
Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem

Reinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-PreikschatProceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)ACM Press2011.
PDF 10.1145/1966445.1966451 [BibTex]

×

BibTex Entry

@inproceedings{tartler:11:eurosys,
location = {New York, NY, USA},
ar = {15\% (24/161)},
author = {Reinhard Tartler and Daniel Lohmann and Julio Sincero and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)},
category = {se-vm,I4},
doi = {10.1145/1966445.1966451},
editor = {Christoph M. Kirsch and Gernot Heiser},
entrysubtype = {Conference},
isbn = {978-1-4503-0634-8},
month = {April},
numpages = {14},
pages = {47-60},
publisher = {ACM Press},
title = {Feature Consistency in Compile-Time-Configurable System Software: Facing the {Linux} 10,000 Feature Problem},
venue = {Salzburg, Austria},
year = {2011},
}

Close

USENIX Conference A
CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems

Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Jochen Streicher, Olaf SpinczykProceedings of the 2009 USENIX Annual Technical Conference USENIX Association2009.
PDF [BibTex]

×

BibTex Entry

@inproceedings{lohmann:09:usenix,
location = {Berkeley, CA, USA},
ar = {16\% (32/192)},
author = {Daniel Lohmann and Wanja Hofer and Wolfgang Schröder-Preikschat and Jochen Streicher and Olaf Spinczyk},
booktitle = {Proceedings of the 2009 USENIX Annual Technical Conference },
category = {ciao, os-aop, aop, aop-ac++, L4},
entrysubtype = {Conference},
isbn = {978-1-931971-68-3},
month = {June},
pages = {215–228},
publisher = {USENIX Association},
title = {{CiAO}: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems},
year = {2009},
}

Close

Real-Time Systems

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

TECS Journal A
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis

Christian Dietrich, Martin Hoffmann, Daniel LohmannACM Transactions on Embedded Computing Systems16.2ACM Press2017.
PDF Raw Data 10.1145/2950053 [BibTex]

×

BibTex Entry

@article{dietrich:17:tecs,
location = {New York, NY, USA},
author = {Dietrich, Christian and Hoffmann, Martin and Lohmann, Daniel},
doi = {10.1145/2950053},
entrysubtype = {Journal},
journaltitle = {ACM Transactions on Embedded Computing Systems},
number = {2},
pages = {35:1–35:25},
publisher = {ACM Press},
title = {Global Optimization of Fixed-Priority Real-Time Systems by {RTOS}-Aware Control-Flow Analysis},
volume = {16},
year = {2017},
}

Close

LCTES Conference A
OSEK-V: Application-Specific RTOS Instantiation in Hardware

Christian Dietrich, Daniel LohmannProceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17)ACM Press2017.
PDF Raw Data 10.1145/3078633.3078637 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:17:lctes,
location = {New York, NY, USA},
ar = {25\% (13/56)},
author = {Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17)},
category = {os-embedded, SRA},
doi = {10.1145/3078633.3078637},
entrysubtype = {Conference},
month = {June},
publisher = {ACM Press},
title = {{OSEK-V}: Application-Specific {RTOS} Instantiation in Hardware},
venue = {Barcelona, Spain},
year = {2017},
}

Close

RTAS Conference A Outstanding Paper Award
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems

Christian Dietrich, Peter Wägemann, Peter Ulbrich, Daniel LohmannProceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17)IEEE Computer Society Press2017Outstanding Paper Award.
PDF Raw Data 10.1109/RTAS.2017.37 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:17:rtas,
location = {Washington, DC, USA},
ar = {},
author = {Christian Dietrich and Peter W{ä}gemann and Peter Ulbrich and Daniel Lohmann},
booktitle = {Proceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17)},
category = {WCET, WCRT, IPET, ILP},
doi = {10.1109/RTAS.2017.37},
entrysubtype = {Conference},
isbn = {978-1-5090-5269-1},
pages = {37-48},
publisher = {IEEE Computer Society Press},
title = {SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems},
year = {2017},
}

Close

ECRTS Conference A
MultiSloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling

Rainer Müller, Daniel Danner, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14)IEEE Computer Society Press2014.
PDF 10.1109/ECRTS.2014.30 [BibTex]

×

BibTex Entry

@inproceedings{mueller:14:ecrts,
location = {Washington, DC, USA},
author = {Rainer M{ü}ller and Daniel Danner and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14)},
category = {os-embedded, L4, InvasIC},
doi = {10.1109/ECRTS.2014.30},
entrysubtype = {Conference},
isbn = {978-1-4799-5798-9},
pages = {289-198},
publisher = {IEEE Computer Society Press},
title = {{MultiSloth}: An Efficient Multi-Core {RTOS} using Hardware-Based Scheduling},
venue = {Madrid, Spain},
year = {2014},
}

Close

Dependable Systems

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

SQJ Journal
Experiences with Software-based Soft-Error Mitigation using AN-Codes

Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-PreikschatSoftware Quality Journal24.1Springer US2016.
PDF 10.1007/s11219-014-9260-4 [BibTex]

×

BibTex Entry

@article{hoffmann:16:sqj,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schröder-Preikschat},
doi = {10.1007/s11219-014-9260-4},
entrysubtype = {Journal},
issue = {1},
journaltitle = {Software Quality Journal},
publisher = {Springer US},
title = {Experiences with Software-based Soft-Error Mitigation using {AN}-Codes},
volume = {24},
year = {2016},
}

Close

RTAS Conference A Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel

Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel LohmannProceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)IEEE Computer Society Press2015Best Paper Award.
PDF 10.1109/RTAS.2015.7108449 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:15:rtas,
location = {Washington, DC, USA},
ar = {22\% (27/124)},
author = {Martin Hoffmann and Florian Lukas and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)},
category = {os-embedded, L4},
doi = {10.1109/RTAS.2015.7108449},
entrysubtype = {Conference},
pages = {259 - 270},
publisher = {IEEE Computer Society Press},
title = {{dOSEK}: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel},
year = {2015},
}

Close

ISORC Conference C
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs

Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel LohmannProceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)IEEE Computer Society Press2014.
PDF 10.1109/ISORC.2014.26 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:14:isorc,
author = {Martin Hoffmann and Christoph Borchert and Christian Dietrich and Horst Schirmeier and R{ü}diger Kapitza and Olaf Spinczyk and Daniel Lohmann},
booktitle = {Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)},
category = {L4, ESS, DanceOS},
doi = {10.1109/ISORC.2014.26},
entrysubtype = {Conference},
issn = {1555-0885},
pages = {230–237},
publisher = {IEEE Computer Society Press},
title = {Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs},
venue = {Reno, Nevada, USA},
year = {2014},
}

Close

Software Engineering

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

GPCE Conference B
Automatic Feature Selection in Large-Scale System-Software Product Lines

Andreas Ruprecht, Bernhard Heinloth, Daniel LohmannProceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)ACM Press2014.
PDF 10.1145/2658761.2658767 [BibTex]

×

BibTex Entry

@inproceedings{ruprecht:14:gpce,
location = {New York, NY, USA},
ar = {34\% (16/47)},
author = {Andreas Ruprecht and Bernhard Heinloth and Daniel Lohmann},
booktitle = {Proceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)},
doi = {10.1145/2658761.2658767},
editor = {Matthew Flatt},
entrysubtype = {Conference},
isbn = {978-1-4503-3161-6},
keywords = {CADOS,VAMOS, Linux, Tailoring, optimiziaton, experimentation},
month = {September},
pages = {39–48},
publisher = {ACM Press},
title = {Automatic Feature Selection in Large-Scale System-Software Product Lines},
venue = {V{ä}ster{å}s, Sweden},
year = {2014},
}

Close

SPLC Conference
A Robust Approach for Variability Extraction from the Linux Build System

Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 16th Software Product Line Conference (SPLC '12)ACM Press2012.
PDF 10.1145/2362536.2362544 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:12:splc,
location = {New York, NY, USA},
ar = {33\% (22/66)},
author = {Christian Dietrich and Reinhard Tartler and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 16th Software Product Line Conference (SPLC '12)},
doi = {10.1145/2362536.2362544},
editor = {Eduardo Santana de Almeida and Christa Schwanninger and David Benavides},
entrysubtype = {Conference},
eventdate = {2012-09-02/2012-09-07},
isbn = {978-1-4503-1094-9},
pages = {21–30},
publisher = {ACM Press},
title = {A Robust Approach for Variability Extraction from the Linux Build System},
venue = {Salvador, Brazil},
year = {2012},
}

Close

AOSD Conference A
Aspect-Aware Operating-System Development

Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Olaf SpinczykProceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)ACM Press2011.
PDF 10.1145/1960275.1960285 [BibTex]

×

BibTex Entry

@inproceedings{lohmann:11:aosd,
location = {New York, NY, USA},
ar = {23\% (21/92)},
author = {Daniel Lohmann and Wanja Hofer and Wolfgang Schr{ö}der-Preikschat and Olaf Spinczyk},
booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)},
category = {L4, DanceOS},
doi = {10.1145/1960275.1960285},
editor = {Shigeru Chiba},
entrysubtype = {Conference},
isbn = {978-1-4503-0605-8},
pages = {69–80},
publisher = {ACM Press},
title = {Aspect-Aware Operating-System Development},
venue = {Porto de Galinhas, Brazil},
year = {2011},
}

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	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.