- Impressum [imprint]
- Contact [kontakt]
-
Teaching [lehre]
- Evaluationen [evaluation]
- Oberseminar [lehre-S_OSG]
-
SS21 [lehre-ss21]
- Betriebssystembau [lehre-ss21-V_BSB]
-
SS22 [lehre-ss22]
- Operating System Classics [lehre-ss22-S_OSC]
- Betriebssystembau [lehre-ss22-V_BSB]
-
SS23 [lehre-ss23]
- Syscall Advent [lehre-ss23-S_ADV]
- Betriebssystembau [lehre-ss23-V_BSB]
-
WS21 [lehre-ws21]
- IIW-Project 2021 [lehre-ws21-P_IIW]
-
Betriebssystemtechnik [lehre-ws21-V_BST]
- A1: Systemaufrufe in StuBSmI [lehre-ws21-V_BST01]
- A2: Paging in StuBSmI [lehre-ws21-V_BST02]
- A3: Nachrichten und erweitertes Paging [lehre-ws21-V_BST03]
- A3.5: Stresstest [lehre-ws21-V_BST03.5]
-
WS22 [lehre-ws22]
- Software Variability on the Technical Level [lehre-ws22-S_SVT]
- Virtual Memory Techniques [lehre-ws22-S_VMT]
- Operating System Techniques [lehre-ws22-V_BST]
-
People [people]
- Christian Dietrich [dietrich]
- Niklas Gollenstede [gollenstede]
- Yannick Loeck [loeck]
- Professorentreffen 2022 [professorentreffen-2022]
-
Publications [publications]
- 2010 - 2014 [publications-2010]
- 2015 - 2019 [publications-2015]
- 2020 - recent [publications-2020]
- Bibliography [publications-all]
- Award-Winning [publications-awards]
- Conference [publications-conference]
- CORE A/A* [publications-core-a]
- CORE B/C [publications-core-bc]
- Journal [publications-journal]
- Thesis [publications-thesis]
- Workshop [publications-workshop]
- Research [research]
- Sitemap [sitemap]
-
Theses (BA/MA) [theses]
- Design and Prototypical Implementation of a Message-Broker Proxy for Mixed-Criticality Real-Time Systems [BA-2023-Message-Broker]
- Porting and integration the StuBS operating system with the Jailhouse partioning hypervisor [BA-MPStuBS-Jailhouse]
- System-call offloading via Linux' io_uring on the Jailhouse partitioning hypervisor [BA-URING-Jailhouse]
- A Graph-Based Virtual-Memory Benchmark Description Language [BA-VMStress-Language]
- NixDiff: Offline Compression of Differential Updates for Declaratively-Configured Embedded Linux Systems [BA-nix-diff-update]
- Data-Flow Sensitive Fault Space Pruning for RISC-V [BAMA-CLASSY-FI-DFPrune-RISC-V]
- Primitives and Abstractions for Self-Contained Virtual-Memory Areas in the Linux kernel [BAMA-Chit-Basic]
- Implementing CPU-Local Free-Page Management for an Explicit Virtual-Memory Interface in Linux [BAMA-EXMAP-Managing-Free-Pages]
- NVMe Disk Driver for the OSv Unikernel [BAMA-OSV-NVMe]
- Static Multivariant ELFs for Memory-Constrained Systems [BAMA-Static-Multivariant-Elf]
- Advanced Topics in Operating-System Development [BAMA-dummy]
- Embedded Lua as a Linker-Script Replacement [BAMA-linker-lua]
- Program Structure for Heterogeneous Instruction Set Architectures [BAMA-multi-ISA]
- Automatic Derivation of Instruction-Local Fault-Propagation Behavior [MA-CLASSY-FI-Local-FI-Equivalence]
- Generalized Memory Pool with Fixed IO-MMU Mappings [MA-IOMMU-Buffers]
- Programmierbare asynchrone Ein-/Ausgabe auf Basis von io_uring und eBPF [MA-IOURING-eBPF-MrCache]
- Bilateral Kernel—Userspace Page Frame Allocator [MA-Kernel-User-Alloc]
- Design and Implementation of a Light-Weight Container Runtime for Real-Time Applications [MA-Light-Weight-Containers]
- Dynamic Firmware Reconfiguration in Heterogeneous Embedded Multi-Core Systems [MA-revert-binding]
- High-Level Interface with C++20 Coroutines for Asynchronous I/O using io_uring and eBPF [RP-URING-CoRoutines]
- Design and Evalutation of a Neighborbood-local Network Infrastructure for a Cooperative Internet Service Provider [RP-local-ISP-infrastructure]
