Running Theses

ARA on Steroids: Fly faster with Profiling and Caching.

 
Typ: Bachelorarbeit
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Make ARA fast. How fast? Really fast with profiling and performance tuning.

Static analysis and interpretation of POSIX applications

Typ: Bachelorarbeit
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend ARA - a (real-time) operating system analyzer - for analysis of POSIX, which enables the analysis of Linux applications.

Fixed-Point Analysis for ARA: Best Value for Pointers

 
Typ: Bachelorarbeit
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extent ARA's value analysis to pointers, conditions and loops.

ARA in the wild: Systematic Application and Evaluation of ARA as a Whole-System Optimizer on Real-World Applications

 
Typ: Bachelorarbeit
Status: reserviert
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
ARA is a whole system analyzer and optimizer. This thesis should investigate in an empirical study about the improvements derived from ARA's specializations.

Compile-Time Malloc: Static Analysis and Replacement of Formerly Dynamic Memory Allocations using LLVM and the ARA Framework.

 
Typ: Bachelorarbeit
Status: laufend
Supervisors: Björn Fiedler, Gerion Entrup, Daniel Lohmann
Project: AHA
Bearbeiter: Christoph Möller
Move all statically analyzable allocations into compile-time.

Slothful Bird: Extend the ARA System Generator by a Sloth Backend for FreeRTOS and OSEK

Typ: Bachelorarbeit
Status: reserviert
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
Extend the ARA Generator with a backend using the interrupt controller as scheduler and dispatcher.

System Calls as Prepared Statements: Extend ARA to Precompute Interaction System Calls

 
Typ: Bachelorarbeit
Status: reserviert
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
Extend the ARA to precompute interaction system calls like queue.send(data).

Structured Meson: Bring consistency to the Meson DSL

Typ: Bachelorarbeit
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Develop a classification for the Meson domain specific language and to tool to check for it

Pruning of Soft-Error Fault Spaces by Dynamic Register-Usage Tracing in a Formal Instruction-Set Model

Typ: Masterarbeit
Status: laufend
Supervisors: Christian Dietrich, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Yannick Loeck
In this thesis, the SAIL compiler should be extended to allow the C-emulator to record all dynamic register reads and writes to these state registers. This information should then be integrated into the FAIL* toolchain to inject only those state registers that are actually used by a given executed instruction.

Design and Implementation of an Early Timeout-Detection Mechanism for Systematic Fault-Injection Campaigns

Typ: Masterarbeit
Status: laufend
Supervisors: Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Tim-Marek Thomas
Avoiding unnecessary fault-injection campaign run time

Multivariant ELF Executables for Dynamic Variability via Address-Space Views

Typ: Masterarbeit
Status: laufend
Supervisors: Florian Rommel, Daniel Lohmann
Project: ATLAS
Extend the ELF format to support binaries with multiple code variants for the use with ATLAS addess space views

Change Impact Analysis using Global AST Hashing

Typ: Masterarbeit
Status: reserviert
Supervisors: Tobias Landsberg, Daniel Lohmann
Project: cHash
Indentify and quantify change impact in open-source projects by designing an analysis using global AST hashing

Vermeidung von Seitenfehlern zum Programmstart durch einen persistent-prädiktiven Seitenzwischenspeicher im Linux Kern

Typ: Masterarbeit
Status: laufend
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Bearbeiter: Simon Burandt
Seitenfehler beim Start von Programmen sollen durch einen Seitenzwischenspeicher im NVRAM vermieden werden. Dazu soll der Linux Kern entsprechend erweitert werden, die Zugriffe zu speichern und bei späteren Programmstarts ohne Pagefault einzublenden.