• Research
• Publications
• By Year
• 2020 - recent
• 2015 - 2019
• 2010 - 2014
• By Type
• Conference
• Journal
• Workshop
• By Rank
• Award-Winning
• CORE A/A*
• CORE B/C

Publications (Conference)

2025

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:usenix,
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

DATE Conference B
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)IEEE2025.
PDF Slides Poster Video Raw Data 10.23919/DATE64628.2025.10993257 [BibTex]

🗙

BibTex Entry

@inproceedings{tempel:25:date,
location = {Lyon, France},
author = {Sören Tempel and Tobias Brandt and Christoph Lüth and Christian Dietrich and Rolf Drechsler},
booktitle = {Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE)},
doi = {10.23919/DATE64628.2025.10993257},
entrysubtype = {Conference},
month = {March},
publisher = {IEEE},
series = {DATE},
title = {Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics},
year = {2025},
}

Close

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

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 Slides Raw Data 10.14778/3659437.3659462 [BibTex]

🗙

BibTex Entry

@inproceedings{leis:24:vldb-vision,
location = {Guangzhou, China},
author = {Leis, Viktor and Dietrich, Christian},
booktitle = {Proceedings of the 50th International Conference on Very Large Data Bases},
doi = {10.14778/3659437.3659462},
entrysubtype = {Conference},
month = {August},
note = {Vision Paper},
publisher = {VLDB Endowment},
title = {{Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware [Vision]}},
year = {2024},
}

Close

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]

🗙

BibTex Entry

@inproceedings{landsberg:24:splc,
location = {New York, NY, USA},
author = {Landsberg, Tobias and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 28th ACM International Systems and Software Product Line Conference},
doi = {10.1145/3646548.3672585},
entrysubtype = {Conference},
isbn = {979-8-4007-0593-9},
keywords = {Patch Filtering, Software Evolution, Software Product Lines},
location = {Dommeldange, Luxembourg},
numpages = {12},
pages = {12–23},
publisher = {Association for Computing Machinery},
series = {SPLC '24},
title = {Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants},
year = {2024},
}

Close

2023

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]

🗙

BibTex Entry

@inproceedings{dietrich:23:iccad,
location = {New York, NY, USA},
author = {Dietrich, Christian and Thomas, Tim-Marek and Mnich, Matthias},
booktitle = {ICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided design},
doi = {10.1109/ICCAD57390.2023.10323809},
entrysubtype = {Conference},
month = {October},
publisher = {ACM Press},
title = {Checkpoint Placement for Systematic Fault-Injection Campaigns},
url = {https://arxiv.org/abs/2308.05521},
venue = {San Francisco, CA, USA},
year = {2023},
}

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

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

🗙

BibTex Entry

@inproceedings{rommel:23:lctes,
location = {New York, NY, USA},
author = {Rommel, Florian and Dietrich, Christian and Ziegler, Andreas and Ostapyshyn, Illia and Lohmann, Daniel},
booktitle = {Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems},
doi = {10.1145/3589610.3596281},
entrysubtype = {Conference},
isbn = {979-8-4007-0174-0/23/06},
month = {June},
publisher = {ACM Press},
title = {Thread-Level Attack-Surface Reduction},
venue = {Orlando, Florida, USA},
year = {2023},
}

Close

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]

🗙

BibTex Entry

@inproceedings{leis:23:sigmod,
location = {New York, NY, USA},
author = {Viktor Leis and Adnan Alhomssi and Tobias Ziegler and Yannick Loeck and Christian Dietrich},
booktitle = {Proceedings of the ACM SIGMOD/PODS International Conference on Management of Data},
doi = {10.1145/3588687},
entrysubtype = {Conference},
location = {Seattle, WA, USA},
month = {June},
publisher = {ACM},
title = {Virtual-Memory Assisted Buffer Management},
year = {2023},
}

Close

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]

🗙

BibTex Entry

@inproceedings{gollenstede:23:lctes,
location = {New York, NY, USA},
author = {Gollenstede, Niklas and Kulau, Ulf and Dietrich, Christian},
booktitle = {Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems},
doi = {10.1145/3589610.3596273},
entrysubtype = {Conference},
isbn = {979-8-4007-0174-0/23/06},
month = {June},
publisher = {ACM Press},
title = {{reUpNix}: Reconfigurable and Updateable Embedded Systems},
year = {2023},
}

Close

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]

🗙

BibTex Entry

@inproceedings{landsberg:22:icsoft,
location = {Lisbon, Portugal},
author = {Landsberg, Tobias and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 17th International Conference on Software Technologies - ICSOFT},
doi = {10.5220/0011139200003266},
entrysubtype = {Conference},
isbn = {978-989-758-588-3},
issn = {2184-2833},
month = {July},
organization = {INSTICC},
pages = {33-45},
publisher = {SciTePress},
title = {TASTING: Reuse Test-case Execution by Global AST Hashing},
year = {2022},
}

Close

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]

🗙

BibTex Entry

@inproceedings{bargholz:22:isorc,
author = {Bargholz, Malte and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 25th International Symposium on Real-Time Distributed Computing},
doi = {10.1109/ISORC52572.2022.9812796},
entrysubtype = {Conference},
isbn = {978-1-6654-0627-7/22},
location = {Västerås, Sweden},
month = {May},
publisher = {{IEEE} Computer Society},
title = {PSIC: Priority-Strict Multi-Core IRQ Processing},
year = {2022},
}

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

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]

🗙

BibTex Entry

@inproceedings{dietrich:22:safecomp,
location = {Munich, Germany},
author = {Dietrich, Christian and Bargholz, Malte and Loeck, Yannick and Budoj, Marcel and Nedaskowskij, Luca and Lohmann, Daniel},
booktitle = {41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)},
doi = {10.1007/978-3-031-14835-4_14},
entrysubtype = {Conference},
publisher = {Springer-Verlag},
title = {SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms},
year = {2022},
}

Close

2021

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

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

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

2019

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

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

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

2018

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

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

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]

🗙

BibTex Entry

@inproceedings{waegemann:18:ecrts,
author = {Peter Wägemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the 30th Euromicro Conference on Real-Time Systems 2018},
doi = {10.4230/LIPIcs.ECRTS.2018.24},
editor = {Sebastian Altmeyer},
entrysubtype = {Conference},
options = {openaccess=doi},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
title = {Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems},
venue = {Barcelona, Spain},
year = {2018},
}

Close

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]

🗙

BibTex Entry

@inproceedings{deifel:17:fmcad,
location = {New York, NY, USA},
author = {Hans-Peter Deifel and Christian Dietrich and Merlin Göttlinger and Daniel Lohmann and Stefan Milius and Lutz Schröder},
booktitle = {Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17)},
doi = {10.23919/FMCAD.2017.8102260},
entrysubtype = {Conference},
month = {November},
pages = {1-8},
publisher = {ACM Press},
title = {Automatic Verification of Application-Tailored {OSEK} Kernels},
venue = {Vienna, Austria},
year = {2017},
}

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

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/3140582.3081030 [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/3140582.3081030},
entrysubtype = {Conference},
month = {June},
publisher = {ACM Press},
title = {{OSEK-V}: Application-Specific {RTOS} Instantiation in Hardware},
venue = {Barcelona, Spain},
year = {2017},
}

Close

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]

🗙

BibTex Entry

@inproceedings{santini:17:arcs,
location = {Heidelberg, Germany},
author = {Thiago Santini and Christoph Borchert and Christian Dietrich and Horst Schirmeier and Martin Hoffmann and Olaf Spinczyk and Daniel Lohmann and Flávio Rech Wagner and Paolo Rech},
booktitle = {Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)},
doi = {10.1007/978-3-319-54999-6_1},
entrysubtype = {Conference},
keywords = {Reliability; Operating System; Embedded System; Dependable System; RTOS; Neutron ; eCos; dOSEK},
month = {April},
publisher = {Springer-Verlag},
title = {Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems},
venue = {Karlsruhe, Germany},
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

2016

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]

🗙

BibTex Entry

@inproceedings{rothberg:16:gpce,
author = {Valentin Rothberg and Christian Dietrich and Andreas Ziegler and Daniel Lohmann},
booktitle = {{Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)}},
doi = {10.1145/2993236.2993252},
editor = {Bernd Fischer and Ina Schaefer},
entrysubtype = {Conference},
isbn = {978-1-4503-4446-3},
location = {Amsterdam},
title = {{Towards Scalable Configuration Testing in Variable Software}},
year = {2016},
}

Close

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]

🗙

BibTex Entry

@inproceedings{schirmeier:15:edcc,
author = {Horst Schirmeier and Martin Hoffmann and Christian Dietrich and Michael Lenz and Daniel Lohmann and Olaf Spinczyk},
booktitle = {Proceedings of the 11th European Dependable Computing Conference (EDCC '15)},
doi = {10.1109/EDCC.2015.28},
editor = {Pierre Sens},
entrysubtype = {Conference},
keywords = {fault injection; tools; dependability; danceos},
location = {Paris, France},
month = {September},
pages = {245–255},
title = {{FAIL*}: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance},
year = {2015},
}

Close

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]

🗙

BibTex Entry

@inproceedings{dietrich:15:lctes,
location = {New York, NY, USA},
ar = {25\% (14/56)},
author = {Christian Dietrich and Martin Hoffmann and Daniel Lohmann},
booktitle = {Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)},
category = {os-embedded, L4},
doi = {10.1145/2670529.2754963},
entrysubtype = {Conference},
isbn = {978-1-4503-3257-6},
keywords = {Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler},
month = {June},
publisher = {ACM Press},
title = {Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems},
venue = {Portland, Oregon, USA},
year = {2015},
}

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

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]

🗙

BibTex Entry

@inproceedings{stilkerich:14:cases,
location = {New York, NY, USA},
author = {Isabella Stilkerich and Philip Taffner and Christoph Erhardt and Christian Dietrich and Christian Wawersich and Michael Stilkerich},
booktitle = {Proceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14)},
category = {i4,java, L4, KESO, invasic, AORTA},
doi = {10.1145/2656106.2656129},
entrysubtype = {Conference},
isbn = {978-1-4503-3050-3/14/10},
month = {October},
pages = {Art. No. 10},
publisher = {ACM Press},
title = {Team Up: Cooperative Memory Management in Embedded Systems},
venue = {New Dehli, India},
year = {2014},
}

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

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]

🗙

BibTex Entry

@inproceedings{hoffmann:14:hase,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)},
category = {L4, DanceOS},
doi = {10.1109/HASE.2014.14},
entrysubtype = {Conference},
isbn = {978-1-4799-3465-2},
month = {January},
pages = {33–40},
publisher = {IEEE Computer Society Press},
title = {A Practitioner's Guide to Software-based Soft-Error Mitigation Using {AN}-Codes},
venue = {Miami, Florida, USA},
year = {2014},
}

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

2013

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]

🗙

BibTex Entry

@inproceedings{nadi:13:msr,
location = {Washington, DC, USA},
author = {Sarah Nadi and Christian Dietrich and Reinhard Tartler and Ric Holt and Daniel Lohmann},
booktitle = {Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)},
doi = {10.1109/MSR.2013.6624017},
entrysubtype = {Conference},
isbn = {978-1-4799-0345-0},
month = {May},
pages = {111-120},
publisher = {IEEE Computer Society Press},
title = {Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?},
year = {2013},
}

Close

2012

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

Permalink: /p/publications-conference