Running Theses
De-slacking MultiSSE: Improving Timing Analysis and Code Synthesis in ARA, an LLVM-Based Whole-System Compiler for Multi-Core Real-Time Systems
Reduce the slack to make the MultiSSE capable of analyzing large systems and manifest that time also in a synthezised image.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Gerion Entrup
Björn Fiedler
Daniel Lohmann - Project
- AHA
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
- reserviert
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
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
Extracting Connections Between Defining Elements of LLVM Intermediate Representation to Improve Regression Test Selection
Extract connections between defining elements of LLVM intermediate representation to improve regression test selection using the example of TASTING.
- Typ
- Masterarbeit
- Status
- reserviert
- Supervisors
- Tobias Landsberg
Daniel Lohmann - Project
- CADOS
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
Huge Pages for Virtual-Memory Objects
Currently, Morsels only support 4-KiB pages, but with larger page sizes the management overhead could be further reduced and the average memory access could be sped up, due to faster page-table walks and an increased TLB coverage.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Marko Bolowski
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
- reserviert
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
Leveraging Application-Specific Knowledge to Guide Statistical Fault Injection
Awesome sampling methods for fast fault injection campaigns.
- Typ
- Bachelor-/Masterarbeit
- Status
- laufend
- Supervisors
- Tim-Marek Thomas
Daniel Lohmann - Project
- CLASSY-FI
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