Prof. Dr.-Ing. Christian Dietrich

Alumni (Wissenschaftlicher Mitarbeiter)


E-mail
dietrich@sra.uni-hannover.de

Since 2024, I'm working as a Professor at TU Braunschweig.

Past Projects

AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)
Goal of AHA is to improve nonfunctional properties of system software by a very deep, but fully automated specialization of the application-hardware bridge represented by the operating system. We investigate, how alternative implementations that are mapped more directly to hardware features, can be generated from a concrete application and their actual interactions with the operating system.
CLASSY-FI: Cross-Layer Application-Specific Synthesis and Analysis of Fault Injection
Goal of the CLASSY-FI is to derive constructive methods and techniques for scalable, yet precise and complete fault injection (FI) to experimentally assess the robustness of safety-critical embedded control systems against soft errors.
CADOS: Configurability-Aware Development of Operating Systems (DFG: LO 1719/3-2)
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.
VAMOS: Variability Management in Operating Systems (DFG SCHR 603/7)
In the VAMOS project, we pioneered the issue of variability-induced issues in Linux and investigated methods and tools to mitigate the problem. Our findings have led to more than 100 accepted patches in the Linux mainline kernel.
cHash: Avoid redundant build operations by AST-based hashing
Building software can include many redundant compiler invocations. With the AST hashing mechanism developed in this project, compiler invocations can be aborted before wasting the developers time.
danceOS: dependability aspects in embedded Operating Systems (DFG: SPP 1500)
Future hardware designs for embedded systems are expected to exhibit an increasing rate of intermittent and permanent errors in exchange for smaller device sizes and lower energy consumption. The DanceOS project aims at providing dependability by the fine-grained and tailorable application of software-based fault-tolerance techniques.
dOSEK: A dependability-Oriented Static Embedded Kernel (DFG: LO 1719/1-3)
dOSEK is developed from scratch with dependability as the first-class design goal. Targeting safety-critical, embedded applications, the system provides an OSEK/AUTOSAR-conform interface. dOSEK is part of the danceOS project.

Teaching and Courses

Awards und Grants

Publications

Related to PhD Thesis (2019)

2025

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
Sören Tempel, Tobias Brandt, Christoph Lüth, Christian Dietrich, Rolf DrechslerProceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE)IEEE2025Accepted for presentation.
[BibTex]

2024

VLDB Conference A*
Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware [Vision]
Viktor Leis, Christian DietrichProceedings of the 50th International Conference on Very Large Data BasesVLDB Endowment2024Vision Paper.
PDF Raw Data 10.14778/3659437.3659462 [BibTex]
SPLC Conference B
Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants
Tobias Landsberg, Christian Dietrich, Daniel LohmannProceedings of the 28th ACM International Systems and Software Product Line ConferenceAssociation for Computing Machinery2024.
PDF 10.1145/3646548.3672585 [BibTex]
DIMES Workshop Best Paper Award
The New Costs of Physical Memory Fragmentation
Alexander Halbuer, Illia Ostapyshyn, Lukas Steiner, Lars Wrenger, Matthias Jung, Christian Dietrich, Daniel LohmannProceedings of the 2nd Workshop on Disruptive Memory SystemsAssociation for Computing Machinery2024Best Paper Award.
PDF Details 10.1145/3698783.3699378 [BibTex]
WCET Workshop
The Platin Multi-Target Worst-Case Analysis Tool
Emad Jacob Maroun, Eva Dengler, Christian Dietrich, Stefan Hepp, Henriette Herzog, Benedikt Huber, Jens Knoop, Daniel Wiltsche-Prokesch, Peter Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, Peter WägemannProceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis (WCET '24)2024Accepted.
PDF [BibTex]

2023

ACCESS Journal
Evaluation and Refinement of an Explicit Virtual-Memory Primitive
Yannick Loeck, Christian DietrichIEEE Access112023.
PDF 10.1109/ACCESS.2023.3338149 [BibTex]
ICCAD Conference A
Checkpoint Placement for Systematic Fault-Injection Campaigns
Christian Dietrich, Tim-Marek Thomas, Matthias MnichICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided designACM Press2023.
PDF Raw Data 10.1109/ICCAD57390.2023.10323809 [BibTex]
DIMES Workshop
Morsels: Explicit Virtual Memory Objects
Alexander Halbuer, Christian Dietrich, Florian Rommel, Daniel LohmannProceedings of the 1st Workshop on Disruptive Memory SystemsAssociation for Computing Machinery2023.
PDF Details Slides 10.1145/3609308.3625267 [BibTex]
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]
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]
LCTES Conference B
Thread-Level Attack-Surface Reduction
Florian Rommel, Christian Dietrich, Andreas Ziegler, Illia Ostapyshyn, Daniel LohmannProceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Details Slides Video 10.1145/3589610.3596281 [BibTex]
SIGMOD Conference A*
Virtual-Memory Assisted Buffer Management
Viktor Leis, Adnan Alhomssi, Tobias Ziegler, Yannick Loeck, Christian DietrichProceedings of the ACM SIGMOD/PODS International Conference on Management of DataACM2023.
PDF 10.1145/3588687 [BibTex]
LCTES Conference B
reUpNix: Reconfigurable and Updateable Embedded Systems
Niklas Gollenstede, Ulf Kulau, Christian DietrichProceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Slides Raw Data 10.1145/3589610.3596273 [BibTex]

2022

ICSOFT Conference B Best Student Paper
TASTING: Reuse Test-case Execution by Global AST Hashing
Tobias Landsberg, Christian Dietrich, Daniel LohmannProceedings of the 17th International Conference on Software Technologies - ICSOFTSciTePress2022Best Student Paper.
PDF 10.5220/0011139200003266 [BibTex]
ISORC Conference C Outstanding Paper Award
PSIC: Priority-Strict Multi-Core IRQ Processing
Malte Bargholz, Christian Dietrich, Daniel LohmannProceedings of the 25th International Symposium on Real-Time Distributed ComputingIEEE Computer Society2022Outstanding Paper Award.
PDF Slides 10.1109/ISORC52572.2022.9812796 [BibTex]
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]
SAFECOMP Conference B
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms
Christian Dietrich, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_14 [BibTex]

2021

PLOS Workshop C
CppSig: Extracting Type Information for C-Preprocessor Macro Expansions
Christian DietrichProceedings of the 11th SOSP Workshop on Programming Languages and Operating Systems (PLOS '21)ACM2021.
PDF Slides Video Teaser Video Raw Data 10.1145/3477113.3487268 [BibTex]
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]
LCTES Artifact A
Source Code and Evaluation Data for the Paper: 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.
10.5281/zenodo.4698901 [BibTex]
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]
Book Chapter
Dependability Aspects in Configurable Embedded Operating Systems
Horst Schirmeier, Christoph Borchert, Martin Hoffmann, Christian Dietrich, Arthur Martens, Rüdiger Kapitza, Daniel Lohmann, Olaf SpinczykDependable Embedded SystemsSpringer2021.
PDF 10.1007/978-3-030-52017-5_4 [BibTex]

2020

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]

2019

OSPERT Workshop B
ARA: Automatic Instance-Level Analysis in Real-Time Systems
Gerion Entrup, Benedikt Steinmeier, Christian DietrichProceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]
Thesis
Interaction-Aware Analysis and Optimization of Real-Time Application and Operating System
Christian Dietrich PHD thesisLeibniz Universität Hannover2019.
PDF 10.15488/7253 [BibTex]
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]
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]
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]
PLOS Workshop B
Wait-Free Code Patching of Multi-Threaded Processes
Florian Rommel, Lennart Glauer, Christian Dietrich, Daniel LohmannProceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)ACM2019.
PDF 10.1145/3365137.3365404 [BibTex]

2018

OSPERT Workshop B Best Paper Award
Levels of Specialization in Real-Time Operating Systems
Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]
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]
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]
Artifact
Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)
Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-PreikschatDagstuhl Artifacts Series4.2Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018.
10.4230/DARTS.4.2.7 [BibTex]
ECRTS Conference A Outstanding Paper Award
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems
Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-PreikschatProceedings of the 30th Euromicro Conference on Real-Time Systems 2018Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018Outstanding Paper Award.
PDF 10.4230/LIPIcs.ECRTS.2018.24 [BibTex]

2017

FMCAD Conference
Automatic Verification of Application-Tailored OSEK Kernels
Hans-Peter Deifel, Christian Dietrich, Merlin Göttlinger, Daniel Lohmann, Stefan Milius, Lutz SchröderProceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17)ACM Press2017.
PDF 10.23919/FMCAD.2017.8102260 [BibTex]
TECS Journal A
Demystifying Soft-Error Mitigation by Control-Flow Checking – A New Perspective on Its Effectiveness
Simon Schuster, Peter Ulbrich, Isabella Stilkerich, Christian Dietrich, Wolfgang Schröder-PreikschatACM Transactions on Embedded Computing Systems16.5sACM2017.
10.1145/3126503 [BibTex]
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]
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]
ARCS Conference
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems
Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo RechProceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)Springer-Verlag2017.
PDF 10.1007/978-3-319-54999-6_1 [BibTex]
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]
ESE Invited Talk
SysWCET: Ende-zu-Ende-Antwortzeiten für OSEK-Systeme
Christian Dietrich, Peter WägemannTagungsband des Embedded Software Engineering Kongress 20172017.
PDF Slides [BibTex]
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]

2016

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]
DSPL Workshop
Function Multiverses for Dynamic Variability
Valentin Rothberg, Christian Dietrich, Alexander Graf, Daniel LohmannFoundations and Applications of Self* Systems2016.
PDF [BibTex]
GPCE Conference B
Towards Scalable Configuration Testing in Variable Software
Valentin Rothberg, Christian Dietrich, Andreas Ziegler, Daniel LohmannProceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)2016.
PDF 10.1145/2993236.2993252 [BibTex]

2015

EDCC Conference
FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance
Horst Schirmeier, Martin Hoffmann, Christian Dietrich, Michael Lenz, Daniel Lohmann, Olaf SpinczykProceedings of the 11th European Dependable Computing Conference (EDCC '15)2015.
PDF 10.1109/EDCC.2015.28 [BibTex]
OSPERT Workshop B
Back to the Roots: Implementing the RTOS as a Specialized State Machine
Christian Dietrich, Martin Hoffmann, Daniel LohmannProceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)2015.
PDF [BibTex]
LCTES Conference A
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems
Christian Dietrich, Martin Hoffmann, Daniel LohmannProceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)ACM Press2015.
PDF Raw Data 10.1145/2670529.2754963 [BibTex]
Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen
Christian Dietrich, Martin Hoffmann, Daniel LohmannBetriebssysteme und Echtzeit, Echtzeit 2015, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) sowie der Fachgruppe Betriebssysteme von GI und ITG, Boppard, 12. und 13. November 20152015.
10.1007/978-3-662-48611-5_14 [BibTex]
OSR Journal
The dataref versuchung
Christian Dietrich, Daniel LohmannACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental ArtifactsACM Press2015.
PDF 10.1145/2723872.2723880 [BibTex]
Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit
Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel LohmannBetriebssysteme und EchtzeitSpringer2015.
10.1007/978-3-662-48611-5_8 [BibTex]
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]

2014

CASES Conference A
Team Up: Cooperative Memory Management in Embedded Systems
Isabella Stilkerich, Philip Taffner, Christoph Erhardt, Christian Dietrich, Christian Wawersich, Michael StilkerichProceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14)ACM Press2014.
PDF 10.1145/2656106.2656129 [BibTex]
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]
HASE Conference B
A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes
Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-PreikschatProceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)IEEE Computer Society Press2014.
PDF 10.1109/HASE.2014.14 [BibTex]
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]

2013

PRDC Workshop
dOSEK: A Dependable RTOS for Automotive Applications
Martin Hoffmann, Christian Dietrich, Daniel LohmannProceedings of the 19th International Symposium on Dependable Computing (PRDC '13)IEEE Computer Society Press2013Fast abstract.
PDF 10.1109/PRDC.2013.22 [BibTex]
MSR Conference A
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?
Sarah Nadi, Christian Dietrich, Reinhard Tartler, Ric Holt, Daniel LohmannProceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)IEEE Computer Society Press2013.
PDF 10.1109/MSR.2013.6624017 [BibTex]
SOBRES Workshop
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience
Martin Hoffmann, Christian Dietrich, Daniel LohmannProceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)Gesellschaft für Informatik2013.
PDF [BibTex]

2012

STTT Journal B
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software
Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel LohmannInternational Journal on Software Tools for Technology Transfer (STTT)14.5Springer-Verlag2012.
PDF 10.1007/s10009-012-0225-2 [BibTex]
OSR Journal
Configuration Coverage in the Analysis of Large-Scale System Software
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroACM SIGOPS Operating Systems Review45.3ACM Press2012.
PDF 10.1145/2094091.2094095 [BibTex]
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]
AOSD-MISS Workshop
Understanding Linux Feature Distribution
Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)ACM Press2012.
PDF 10.1145/2162024.2162030 [BibTex]

2011

PLOS Workshop B
Configuration Coverage in the Analysis of Large-Scale System Software
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroProceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)ACM Press2011.
PDF 10.1145/2039239.2039242 [BibTex]

Supervised Theses

Open Theses Topics

Finished Student Theses

Semi-Extended Tasks: Application-Specific Fine-Grained Task-Stack Sharing in OSEK Systems

Implement the mechanism for Semi-Extended Tasks in dOSEK on IA-32 [PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
AHA

Separating Control and Data Stacks with Binary Patching


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

Priority-Obedient Multicore Interrupt Controller


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler

Use the cHash method to quantify the impact of source code changes.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann

 
Project
cHash

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

Use the multiverse compiler plugin to optimize paths in the Linux kernel [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Florian Rommel (abgegeben: 02. Nov 2017)

Avoidance of Redundant Recompilations by Propagation of Semantic Fingerprints

Redundant-compile propagation in the make dependency graph

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
cHashCADOS

Integration of AST Hashing into the GCC compiler

Implementation and Analysis of a GCC Plugin to calculate an hash value over the abstract syntax tree of a compilation unit.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
cHashCADOS

InterSloth: Globales Hardware-gesteuertes Scheduling in einem Multikern-Echtzeitbetriebssystem auf RISC-V

[PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Malte Bargholz (abgegeben: 09. Aug 2018)

Measurement-Directed Application of Compiler-Assisted Dynamic Variability Management in the Linux Kernel


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Michael Rodin (abgegeben: 01. Oct 2018)

Fault-Space Approximation using Basic-Block Fault Injection

[PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Daniel Kiechle (abgegeben: 15. Oct 2018)

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: 01. Nov 2018)

Integration of a Priority-Obedient Interrupt Controller into the Rocket Softcore


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Matthias Wolf (abgegeben: 01. Nov 2018)

Analyzing and Optimizing TLB-Induced Thread Migration Costs on Linux/ARM


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Tobias Landsberg (abgegeben: 21. Nov 2018)

ROS Timestamps for libusb in the Linux Kernel


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Christian Dietrich
Daniel Lohmann

 
Project
AHA

Untersuchung von Angriffszenarien aus dem Desktopberreich auf Linux-basierte Infotainmentsysteme im Automobil

Welche Gefahren und Möglichkeiten ergeben sich durch Angriffsroutinen aus dem Desktopbereich für den Einsatz von Automotive Grade Linux (AGL) in automobilen Anwendungen

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Manuel Krüger (abgegeben: 13. Feb 2019)

Data-Flow Analysis for Fault-Equivalence Set Forming on the ISA Layer


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Zena Obeidi (abgegeben: 01. Mar 2019)

bAUTOSAR: A Javascript Real-Time Abstraction for Improved Website Responsiveness

An OSEK-like real-time abstraction for prioritized execution of Javascript programs.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Robin Thrift (abgegeben: 15. Mar 2019)

Schotbruch: Automatisierte Ableitung von Injektionsplattformen für transiente Hardwarefehler aus formalen Prozessormodellen

Use SAIL language to integrate an ISA implementations into a fault injection framework. Different CPU architectures shall be evaluated for reliability. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Marcel Budoj (abgegeben: 08. May 2019)

Extending the Linux Kernel for Wait-Free Live Patching of Multi-Threaded Processes

Using virtual address space clones to avoid blocking on a global barrier in live patching situations and implement this mechanism in the Linux kernel.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Lennart Glauer (abgegeben: 20. Nov 2019)

Formalizing the Execution Semantics of the AVR Instruction Set with the Description Language SAIL

Implementing the AVR-processor instruction-set architecture in SAIL for generating emulators automatically.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Luca Nedaskovskij (abgegeben: 16. Oct 2020)

Transient-Fault Resilience of a Capability-enabled Processor Plattform

Integration of SAIL-based MIPS and CHERI emulators into the FAIL* fault-injection tool and quantitative fault-resilience comparision. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Malte Bargholz (abgegeben: 01. Nov 2020)

Pruning of Soft-Error Fault Spaces by Dynamic Register-Usage Tracing in a Formal Instruction-Set Model

In this thesis, the SAIL compiler should be extended to allow the C-emulator to record all dynamic register reads and writes to these state registers. This information should then be integrated into the FAIL* toolchain to inject only those state registers that are actually used by a given executed instruction.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Yannick Loeck (abgegeben: 26. May 2021)

Enhancing Energy Efficiency with Advanced DRAM Management in Linux

Modern computer systems face a significant challenge in managing physical memory efficiently, especially in the context of energy consumption. Specifically, the DRAM (Dynamic Random-Access Memory) components in these systems consume a considerable amount of energy due to their constant refresh requirements. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Alexander Halbuer
Christian Dietrich
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Illia Ostapyshyn (abgegeben: 01. Nov 2024)