Running Theses

Crossing the red light: Locks that never lock don't have to be taken.

Implement and evaluate an AUTOSAR synthesis with Lock Elision

 
Typ
Masterarbeit

 
Status
reserviert

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

Evaluation and Adaptation of an LLVM-Based Whole-System-Compiler for Optimizing Embedded RISC-V/ARM Systems

Evaluate ARA's FreeRTOS optimizations on IronOS and InfiniTime and test in on real hardware.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Tobias Landsberg
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Domenik Kuhn

Let ARA Fly Fast: Optimizing an LLVM-Based Whole-System Optimizer for Embedded Real-Time Systems via Systematic Profiling

Make ARA fast. How fast? Really fast with profiling and performance tuning.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

Mindstorming with Erika: Porting an OSEK/AUTOSAR conform operating system to ARM9


 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Tim-Marek Thomas
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jasper Lorenz

Multiverse: Extending LLVM by Compiler-Assisted Dynamic Variability

Rewrite the Multiverse compiler plugin using LLVM.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Nils Fuhler

Multiverse: Extending LLVM by Compiler-Assisted Dynamic Variability for Structs

Extending LLVM by Compiler-Assisted Dynamic Variability for Structs.

 
Typ
Forschungsprojekt

 
Status
laufend

 
Supervisors
Tobias Landsberg
Florian Rommel
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Nishal Kulkarni

Predictive Run-Time Attack-Space Reduction

Extend context-based text elimination by a predictive approach.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

Primitives and Abstractions for Self-Contained Virtual-Memory Areas in the Linux kernel

Implement the basic abstraction for self-contained virtual-address-space areas in Linux, by which we want to ease the allocation, the sharing, and the management of huge amounts of memory.

 
Typ
Masterarbeit

 
Status
laufend

 
Supervisors
Lars Wrenger
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
ParPerOS

Size does matter: Extending the LLVM Linker for Fine-Granular Multivariant ELF Executables

Extend the multivariant ELF approach to allow the building of fine-granular executables.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Dominik Töllner
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

 
Bearbeiter
Jan Luca Willke

Software-Emulated Pointer Authentication for Control-Flow Integrity Protection

Design and implement a pure software solution for control-flow integrity protection via pointer authentication

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Gabriele Serra
Florian Rommel
Daniel Lohmann

What You See Is What I Want: Extending the LLVM Linker for View-Local Data in Multivariant ELFs

Extend the multivariant ELF approach to allow data to be view-local and not shared across multiple views.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Florian Rommel
Dominik Töllner
Daniel Lohmann

 
Project
ATLAS

 
Bearbeiter
Max Känner