Running Theses
Design and Implementation of an HDMI Text-Terminal Peripheral for the LiteX SoC Generator
Implement text-mode peripherals for displaying character based graphics onto HDMI displays. The device should be integrated into the LiteX SoC generator to be used in FPGA-based soft cores.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Björn Fiedler
Christian Dietrich
Daniel Lohmann - Bearbeiter
- Farhad Javadi
Efficient Copy-on-Write for Virtual-Memory Objects
Implementing classical, full-featured COW with multiple nesting levels would introduce substantial management overhead on the operating system side. Our goal with Morsels is to eliminate this overhead while retaining limited COW functionality.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Pasha Fistanto
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
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
Fast Memory Ballooning for Virtual Machines with LLFree
Implementing hypervisor memory overcommitment with shared LLFree allocators.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
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
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
- reserviert
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS
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