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.

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.

Preprocessed information: Extend the C preprocessor with source code markers

 
Typ: Bachelorarbeit
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend the C preprocessor with automatic function markers that are usable in ARA

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).

Extending DragonFly BSD for Synchronized Thread-Level Address-Space Views

Typ: Bachelorarbeit
Status: laufend
Supervisors: Florian Rommel, Daniel Lohmann
Project: ATLAS
Extending the DragonFly BSD kernel to allow the usage of ATLAS synchronized thread-level address-space views in userspace processes

Meson Language Design: Construction and Automatic Checking of a Meson-Object Classification

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

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

Efficient Change Impact Quantification by Global AST Hashing

Typ: Masterarbeit
Status: laufend
Supervisors: Tobias Landsberg, Daniel Lohmann
Project: cHash
Bearbeiter: Maximilian Werner
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, NVM
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.