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