Running Theses
Controlling the Kite: Static Control-Flow System Analysis for Embedded Controllers with Zephyr RTOS in ARA
The ARA toolchain shall support the system-state enumeration for Zephyr-based embedded applications.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Andreas Kässens
Gerion Entrup
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Vitali Fendel
Efficient Swapping of Shared Virtual-Memory Objects
By design, morsels exist in main memory without being just an intermediate representation of a file. However, for some applications it would be desirable to store objects on a disk in order to persist its data during reboots or to cope with limited main memory.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Julian-Dominik Helmsen
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.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Alexander Halbuer
Christian Dietrich
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Illia Ostapyshyn
Extending GNU Make With Custom Fingerprints to Reduce Redundant Recompilation
Extend Make to include generic metadata into its build decision reducing redudant builds
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Sergej Reich
Generic Metatdata Transport of High-Level–Language Properties between LLVM-Compiler Fron and Middle End for Static Analysis
Extract Token or AST information from Clang that are useful for static analysis and transfer it into the Middleend.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA
Implementation of Optimized AUTOSAR Systems for RISC-V with ARA
Extending the AUTOSAR Synthesis in ARA to support multicore RISC-V targets
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
- Bearbeiter
- Arved Blöcker
Implementing Content-Based Regression Test Selection Using the LLVM Intermediate Representation
Extract connections between defining elements of LLVM intermediate representation to improve regression test selection using the example of TASTING.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Tino Lorenz
Integration and Optimization of a Variability-Aware LLVM-Based Toolchain for Highly Configurable Software
Integrate and optimize existing LLVM-based tools into a variability-aware toolchain for highly configurable software.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- CADOS
- Bearbeiter
- Johannes Grunenberg
LLFreeBSD: Integrating the LLFree Page Frame Allocator into FreeBSD
We now have a C-based LLFree implementation that can be integrated into other OS's. This topic focuses on the integration of LLFree into the FreeBSD operating system.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
On the Power Estimation of a RISC-V Platform using Performance Monitoring Counters and RTOS Events
Build an evaluation setup with the aim to create an power model for a RISC-V platform
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Tim-Marek Thomas
Daniel Lohmann - Project
- AHA
Optimizing Memory Metadata: Dynamic Allocation of Struct Pages in the Linux Kernel
Dynamically allocate a struct page in cases where it is needed and omit the memory overhead in cases where it is not.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Lars Wrenger
Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Paul Aumann
Page Eviction for Shared Virtual-Memory Objects
The translation lookaside buffer (TLB) caches present page table entries, so that pages can not be unmapped by simply clearing the related page table entry. However, page eviction is vital for implementing advanced features like swapping and huge-page merging.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Tim Hollmann