Christian Dietrich

63 papers A* 2A 10B 10C 6Misc 2Journal 11Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	MMCaps: Towards Fast and Secure IPC using MMU-Accelerated Memory Capabilities. EuroSec Niklas Golenstede, Sören Tempel, Lars Wrenger, Daniel Lohmann, Christian Dietrich
2025	A	`conf`	Accurate and Extensible Symbolic Execution of Binary Code Based on Formal ISA Semantics. DATE Sören Tempel, Tobias Brandt, Christoph Lüth, Christian Dietrich, Rolf Drechsler
2025	A	`conf`	HyperAlloc: Efficient VM Memory De/Inflation via Hypervisor-Shared Page-Frame Allocators. EuroSys Lars Wrenger, Kenny Albes, Marco Wurps, Christian Dietrich, Daniel Lohmann
2025	—	`conf`	IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing. USENIX ATC Tobias Landsberg, Johannes Grunenberg, Christian Dietrich, Daniel Lohmann
2025	C	`conf`	XDP Packet Mill: An L2 Frame Interception Framework. PEMWN David Niederprüm, Christian Dietrich, Lars C. Wolf
2024	J	`jnl`	Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware. Proc. VLDB Endow. Viktor Leis, Christian Dietrich
2024	—	`conf`	Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants. SPLC (A) Tobias Landsberg, Christian Dietrich, Daniel Lohmann
2024	—	`conf`	The New Costs of Physical Memory Fragmentation. DIMES@SOSP Alexander Halbuer, Illia Ostapyshyn, Lukas Steiner, Lars Wrenger, Matthias Jung, Christian Dietrich, Daniel Lohmann
2024	—	`conf`	The Platin Multi-Target Worst-Case Analysis Tool. WCET Emad Jacob Maroun, Eva Dengler, Christian Dietrich, Stefan Hepp, Henriette Herzog, Benedikt Huber, Jens Knoop, Daniel Wiltsche-Prokesch, Peter P. Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, Peter Wägemann
2023	A	`conf`	Checkpoint Placement for Systematic Fault-Injection Campaigns. ICCAD Christian Dietrich, Tim-Marek Thomas, Matthias Mnich
2023	J	`jnl`	Checkpoint Placement for Systematic Fault-Injection Campaigns. CoRR Christian Dietrich, Tim-Marek Thomas, Matthias Mnich
2023	J	`jnl`	Evaluation and Refinement of an Explicit Virtual-Memory Primitive. IEEE Access Yannick Loeck, Christian Dietrich
2023	—	`conf`	LLFree: Scalable and Optionally-Persistent Page-Frame Allocation. USENIX ATC Lars Wrenger, Florian Rommel, Alexander Halbuer, Christian Dietrich, Daniel Lohmann
2023	—	`conf`	MELF: Multivariant Executables for a Heterogeneous World. USENIX ATC Dominik Töllner, Christian Dietrich, Illia Ostapyshyn, Florian Rommel, Daniel Lohmann
2023	—	`conf`	Morsels: Explicit Virtual Memory Objects. DIMES@SOSP Alexander Halbuer, Christian Dietrich, Florian Rommel, Daniel Lohmann
2023	B	`conf`	Thread-Level Attack-Surface Reduction. LCTES Florian Rommel, Christian Dietrich, Andreas Ziegler, Illia Ostapyshyn, Daniel Lohmann
2023	J	`jnl`	Virtual-Memory Assisted Buffer Management. Proc. ACM Manag. Data Viktor Leis, Adnan Alhomssi, Tobias Ziegler, Yannick Loeck, Christian Dietrich
2023	B	`conf`	reUpNix: Reconfigurable and Updateable Embedded Systems. LCTES Niklas Gollenstede, Ulf Kulau, Christian Dietrich
2022	B	`conf`	ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation. SAFECOMP Tim-Marek Thomas, Christian Dietrich, Oskar Pusz, Daniel Lohmann
2022	C	`conf`	PSIC: Priority-Strict Multi-Core IRQ Processing. ISORC Malte Bargholz, Christian Dietrich, Daniel Lohmann
2022	B	`conf`	SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms. SAFECOMP Christian Dietrich, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann
2022	C	`conf`	TASTING: Reuse Test-case Execution by Global AST Hashing. ICSOFT Tobias Landsberg, Christian Dietrich, Daniel Lohmann
2021	A	`conf`	ARA: Static Initialization of Dynamically-Created System Objects. RTAS Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel Lohmann
2021	—	`conf`	CppSig: Extracting Type Information for C-Preprocessor Macro Expansions. PLOS@SOSP Christian Dietrich
2021	B	`conf`	Data-flow-sensitive fault-space pruning for the injection of transient hardware faults. LCTES Oskar Pusz, Christian Dietrich, Daniel Lohmann
2020	A*	`conf`	From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes. OSDI Florian Rommel, Christian Dietrich, Birte Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann
2019	—	`—`	Interaction-aware analysis and optimization of real-time application and operating system. Christian Dietrich
2019	A	`conf`	Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software. EuroSys Florian Rommel, Christian Dietrich, Michael Rodin, Daniel Lohmann
2019	C	`conf`	Program-Structure-Guided Approximation of Large Fault Spaces. PRDC Oskar Pusz, Daniel Kiechle, Christian Dietrich, Daniel Lohmann
2019	A	`conf`	RT.js: Practical Real-Time Scheduling for Web Applications. RTSS Christian Dietrich, Stefan Naumann, Robin Thrift, Daniel Lohmann
2019	—	`conf`	Wait-Free Code Patching of Multi-Threaded Processes. PLOS@SOSP Florian Rommel, Lennart Glauer, Christian Dietrich, Daniel Lohmann
2018	A*	`conf`	Cross-layer fault-space pruning for hardware-assisted fault injection. DAC Christian Dietrich, Achim Schmider, Oskar Pusz, Guillermo Payá Vayá, Daniel Lohmann
2018	A	`conf`	Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads. RTSS Christian Dietrich, Daniel Lohmann
2018	J	`jnl`	Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact). Dagstuhl Artifacts Ser. Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-Preikschat
2018	B	`conf`	Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems. ECRTS Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-Preikschat
2017	B	`conf`	Automatic verification of application-tailored OSEK kernels. FMCAD Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich, Daniel Lohmann
2017	J	`jnl`	Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness. ACM Trans. Embed. Comput. Syst. Simon Schuster, Peter Ulbrich, Isabella Stilkerich, Christian Dietrich, Wolfgang Schröder-Preikschat
2017	—	`conf`	Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems. ARCS Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech
2017	J	`jnl`	Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis. ACM Trans. Embed. Comput. Syst. Christian Dietrich, Martin Hoffmann, Daniel Lohmann
2017	B	`conf`	OSEK-V: application-specific RTOS instantiation in hardware. LCTES Christian Dietrich, Daniel Lohmann
2017	A	`conf`	SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper). RTAS Christian Dietrich, Peter Wägemann, Peter Ulbrich, Daniel Lohmann
2017	—	`conf`	cHash: Detection of Redundant Compilations via AST Hashing. USENIX ATC Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel Lohmann
2016	J	`jnl`	Experiences with software-based soft-error mitigation using AN codes. Softw. Qual. J. Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat
2016	—	`conf`	Function Multiverses for Dynamic Variability. FAS*W@SASO/ICCAC Valentin Rothberg, Christian Dietrich, Alexander Graf, Daniel Lohmann
2016	B	`conf`	Towards scalable configuration testing in variable software. GPCE Valentin Rothberg, Christian Dietrich, Andreas Ziegler, Daniel Lohmann
2015	B	`conf`	Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems. LCTES Christian Dietrich, Martin Hoffmann, Daniel Lohmann
2015	Misc	`conf`	FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance. EDCC Horst Schirmeier, Martin Hoffmann, Christian Dietrich, Michael Lenz, Daniel Lohmann, Olaf Spinczyk
2015	—	`conf`	Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen. Echtzeit Christian Dietrich, Martin Hoffmann, Daniel Lohmann
2015	J	`jnl`	The dataref versuchung: Saving Time through Better Internal Repeatability. ACM SIGOPS Oper. Syst. Rev. Christian Dietrich, Daniel Lohmann
2015	A	`conf`	dOSEK: the design and implementation of a dependability-oriented static embedded kernel. RTAS Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann
2014	—	`conf`	A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes. HASE Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat
2014	C	`conf`	Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs. ISORC Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel Lohmann
2014	—	`conf`	FASL 1.0: Eine Skriptsprache zur Programmierung mobiler Geräte. Informatiktage Victor Simon, Marc Rosenbauer, Daniel Schmidt, Christian Cardello, Christian Dietrich, Philipp Eichhorn, Christian Eichler
2014	—	`conf`	Static Analysis of Variability in System Software: The 90, 000 #ifdefs Issue. USENIX ATC Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel Lohmann
2014	Misc	`conf`	Team up: Cooperative memory management in embedded systems. CASES Isabella Stilkerich, Philip Taffner, Christoph Erhardt, Christian Dietrich, Christian Wawersich, Michael Stilkerich
2013	—	`conf`	Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience. GI-Jahrestagung Martin Hoffmann, Christian Dietrich, Daniel Lohmann
2013	A	`conf`	Linux variability anomalies: what causes them and how do they get fixed? MSR Sarah Nadi, Christian Dietrich, Reinhard Tartler, Richard C. Holt, Daniel Lohmann
2013	C	`conf`	dOSEK: A Dependable RTOS for Automotive Applications. PRDC Martin Hoffmann, Christian Dietrich, Daniel Lohmann
2012	—	`conf`	A robust approach for variability extraction from the Linux build system. SPLC (1) Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel Lohmann
2012	J	`jnl`	Revealing and repairing configuration inconsistencies in large-scale system software. Int. J. Softw. Tools Technol. Transf. Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel Lohmann
2012	—	`conf`	Understanding linux feature distribution. MISS@AOSD Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel Lohmann
2011	—	`conf`	Configuration coverage in the analysis of large-scale system software. PLOS@SOSP Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio Sincero
2011	J	`jnl`	Configuration coverage in the analysis of large-scale system software. ACM SIGOPS Oper. Syst. Rev. Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio Sincero