Theses

This list is just a collection of thesis ideas that were already formulated. We always have more interesting ideas, which were not written down yet, on the topics operating systems, real-time systems, dependability, computer architecture, software variability, etc. So, if this list is empty, you find none of the presented theses ideas interesting, our you have this one brilliant idea you want to pursuit, just come around or write a mail.

Open Topics

Configurable Depth Analysis: Create a meta analysis to statically analyze a system in different depths

Orchestrate different existing static analysis techniques to analyze a real-time system in different depths and show the working with an implementation in ARA.

 
Typ
Masterarbeit

 
Status
offen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

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

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

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

 
Bearbeiter
Illia Ostapyshyn

Finished Theses

2022 (11 theses)

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


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tim-Marek Thomas
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jasper Lorenz (abgegeben: 09. Sep 2022)

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
abgeschlossen

 
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
abgeschlossen

 
Supervisors
Tobias Landsberg
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Domenik Kuhn (abgegeben: 26. Sep 2022)

Bringing Light into the Dark: Interactive Graph Visualization of Static Analyses for Real-Time Operating Systems

Extend the analyses steps of ARA with a multi step visualization

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

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
abgeschlossen

 
Supervisors
Dominik Töllner
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

 
Bearbeiter
Jan Luca Willke (abgegeben: 11. Aug 2022)

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
abgeschlossen

 
Supervisors
Florian Rommel
Dominik Töllner
Daniel Lohmann

 
Project
ATLAS

 
Bearbeiter
Max Känner (abgegeben: 19. Sep 2022)

Multiverse: Extending LLVM by Compiler-Assisted Dynamic Variability

Rewrite the Multiverse compiler plugin using LLVM.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Nils Fuhler (abgegeben: 19. Sep 2022)

Predictive Run-Time Attack-Space Reduction

Extend context-based text elimination by a predictive approach.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

Design and Implementation of a Windows based Kernel Anti-Cheat to Ensure Realtime Integrity and a Tamper-Free Environment

Exploratory work in the field of anti-cheat systems.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tim-Marek Thomas
Daniel Lohmann

Lo(ck|g)-free Page Allocator for Non-Volatile Memory in the Linux Kernel

Designing and implementing a lock-free and log-free page allocator for morsels, a new abstraction for the management of non-volatile memory in the linux kernel [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Lars Wrenger (abgegeben: 04. Apr 2022)

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

Extending LLVM by Compiler-Assisted Dynamic Variability for Structs.

 
Typ
Forschungsprojekt

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Florian Rommel
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Nishal Kulkarni

2021 (14 theses)

Whole-Program Analysis of POSIX/Linux-Applications: Design and Implementation of an Operating-System Model

Extend ARA - a (real-time) operating system analyzer - for analysis of POSIX, which enables the analysis of Linux applications.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jan Neugebauer (abgegeben: 29. Jul 2021)

Fixed-Point Analysis in SVF: Iterative Value Flow Graph Construction

Extent ARA's value analysis to pointers, conditions and loops.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

Design und Implementierung eines Zephyr-RTOS-Modells für ARA zur statischen Whole-System-Analyse

Extend ARA - a (real-time) operating system (RTOS) analyzer - for analysis of Zephyr, an RTOS guided by the Linux Foundation

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Kenny Albes (abgegeben: 28. Feb 2021)

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

ARA is a whole system analyzer and optimizer. This thesis should investigate in an empirical study about the improvements derived from ARA's specializations.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

Source-to-source Transformation with Clang: Traversing the AST to Uniquely Identify and Mark C++ Macros

Extend the C preprocessor with automatic function markers that are usable in ARA

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

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

Extend the ARA Generator with a backend using the interrupt controller as scheduler and dispatcher.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

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

Extend the ARA to precompute interaction system calls like queue.send(data).

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Lukas Berg (abgegeben: 20. Sep 2021)

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

Extending the DragonFly BSD kernel to allow the usage of ATLAS synchronized thread-level address-space views in userspace processes

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

Design and Implementation of Benchmarks for Systematic Fault Injection

Awesome benchmarks for awesome fault injection methods.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Jannis Bujak (abgegeben: 02. Mar 2021)

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

Develop a classification for the Meson domain specific language and to tool to check for it

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Paul Aumann

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

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.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Yannick Loeck (abgegeben: 26. May 2021)

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

Avoiding unnecessary fault-injection campaign run time

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Tim-Marek Thomas (abgegeben: 22. Oct 2021)

Multivariant ELF Executables for Dynamic Variability via Address-Space Views

Extend the ELF format to support binaries with multiple code variants for the use with ATLAS addess space views [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
ATLAS

 
Bearbeiter
Dominik Töllner

Efficient Change Impact Quantification by Global AST Hashing

Indentify and quantify change impact in open-source projects by designing an analysis using global AST hashing [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
cHash

 
Bearbeiter
Maximilian Werner (abgegeben: 05. Nov 2021)

2020 (13 theses)

Effizientes Laden dünn besetzter Datenstrukturen auf eingebetteten Systemen

Introduction of Sparse Data Segments for Embedded Systems

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jannis Thöle

Idealer Gebrauch von LLVM-Optimierungstechniken zur Verbesserung statischer Analyse von Echtzeitsystemen

Extend ARA - a tool for static (real-time) operating system analysis - to use as much already implemented LLVM analyses as possible

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Manuel Breiden (abgegeben: 19. Apr 2020)

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

Move all statically analyzable allocations into compile-time.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Christoph Möller

Formalizing the Execution Semantics of the AVR Instruction Set with the Description Language SAIL

Implementing the AVR-processor instruction-set architecture in SAIL for generating emulators automatically.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Luca Nedaskovskij (abgegeben: 16. Oct 2020)

Design and Implementation of a Graphical Simulator for a Pipelined Processor Architecture

Implement and evaluate a CPU simulator for a pipelined MIPS-like architecture with a graphical presentation on the block-diagram level

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Jürgen Brehm

 
Bearbeiter
Kwok-Fung Choi

Implementierung und Evaluation eines FUSE-Dateisystems für Linux zur Integration erweiterter Änderungsdetektionsverfahren in Buildsystemen

Implementation of a Filesystem in Userspace to add cHash support to Make

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Tobias Landsberg
Daniel Lohmann

 
Project
cHash

 
Bearbeiter
Malte Müller (abgegeben: 08. Aug 2020)

Entwurf und Implementierung einer leichtgewichtigen Linux-Programmbibliothek für persistent-adressierte, nicht-flüchtige Speicherbereich

Eine leichtgewichtige User Space Bibliothek soll entworfen und implementiert werden um effizient mit einem persistent-addressierten nicht-flüchtigen Speicherbereich arbeiten zu können.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
CADOSParPerOS

 
Bearbeiter
Niklas Hoh

MultiSSE: Full Static Emulation of a Multicore System at the example of AUTOSAR RTOS

Extend the System-State Enumeration, an real-time systems analysis technique, to support multiple cores and show the working with an implementation in ARA.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Fredo Nowak (abgegeben: 24. Dec 2020)

Transient-Fault Resilience of a Capability-enabled Processor Plattform

Integration of SAIL-based MIPS and CHERI emulators into the FAIL* fault-injection tool and quantitative fault-resilience comparision. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Malte Bargholz (abgegeben: 01. Nov 2020)

Acceleration of Fault-Injection Campaigns through Early Timeout Detection

Developing methods to avoid unnecessary fault-injection campaign run time

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Felix Siegel (abgegeben: 22. May 2020)

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

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.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
CADOSParPerOS

 
Bearbeiter
Simon Burandt

Erweiterung des Python-Programmiermodells um NVRAM-persistierte Sprachobjekte

Entwurf eines Persistenz-Moduls für Python auf Basis von NVM

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
ParPerOS

Erweiterung des Linux-Kerns um mehrstufige Seitenumlagerung für Systeme mit nichtflüchtigem Speicher (NVM)

Extending the Linux memory management to use NVM for swapping.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
CADOSParPerOS

 
Bearbeiter
Christian Müller

2019 (16 theses)

Automatische Generierung statistisch spezialisierter FreeRTOS-Kerne mit LLVM

A compile-time generator for static FreeRTOS system objects

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Jonas Hollmann

Statische Instanziierung von FreeRTOS Systemobjekten zur Verbesserung nichtfuntionaler Eigenschaften mit dem ARA Codegenerator Framework

A compile-time generator for static FreeRTOS system objects

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Daniel Lohmann

 
Project
AHA

Untersuchung von Angriffszenarien aus dem Desktopberreich auf Linux-basierte Infotainmentsysteme im Automobil

Welche Gefahren und Möglichkeiten ergeben sich durch Angriffsroutinen aus dem Desktopbereich für den Einsatz von Automotive Grade Linux (AGL) in automobilen Anwendungen

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Manuel Krüger (abgegeben: 13. Feb 2019)

Investigating Microarchitectural Effects on Code Optimization for Specific Processor Models

Research the effects of compiler optimization flags on different processor architectures and their impact on the code being executed.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Vitali Fendel

Measuring Effects of Compiler Flags on Different Processor Architectures


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Florian Rommel
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Carlo Schmitt (abgegeben: 21. Mar 2019)

Run-Time Binary Patching for Systems with Dynamically Loadable Modules

Explore the possibilities of using multiverse on systems with loadable modules by extending its semantics and implementation.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Dominik Töllner (abgegeben: 01. Sep 2019)

bAUTOSAR: A Javascript Real-Time Abstraction for Improved Website Responsiveness

An OSEK-like real-time abstraction for prioritized execution of Javascript programs.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Robin Thrift (abgegeben: 15. Mar 2019)

Data-Flow Analysis for Fault-Equivalence Set Forming on the ISA Layer


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Zena Obeidi (abgegeben: 01. Mar 2019)

Automatic Real-Time System Analysis


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Benedikt Steinmeier (abgegeben: 06. Mar 2019)

How to trust the Snake: Extending the Chain of Trust to Interpreted Languages on Highly Embedded Systems

Extend Micropython so, that it can decide whether or not the code was put in place by the developer, not a hacker. Also the integrity of the code needs to be proven during execution.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Lars Wrenger

Investigating Non-Disruptive Checkpoints via Address-Space Clones in Linux-Based Non-Volatile Memory Systems

Modifying the Linux kernel to allow using virtual address space clones to implement non-disruptive checkpoints and coredumps.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Sergej Perschin

Schotbruch: Automatisierte Ableitung von Injektionsplattformen für transiente Hardwarefehler aus formalen Prozessormodellen

Use SAIL language to integrate an ISA implementations into a fault injection framework. Different CPU architectures shall be evaluated for reliability. [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
CLASSY-FI

 
Bearbeiter
Marcel Budoj (abgegeben: 08. May 2019)

Accelerate Micropython: Developing Accelerators for Micropython on the RISC-V platform

Benchmark Micropython, identify spots to accelerate and propose hardware accelerators for the Micropython interpreter.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Stefan Naumann
Daniel Lohmann

 
Project
AHA

Extending the Linux Kernel for Wait-Free Live Patching of Multi-Threaded Processes

Using virtual address space clones to avoid blocking on a global barrier in live patching situations and implement this mechanism in the Linux kernel.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Lennart Glauer (abgegeben: 20. Nov 2019)

ROS Timestamps for libusb in the Linux Kernel


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Christian Dietrich
Daniel Lohmann

 
Project
AHA

2018 (7 theses)

InterSloth: Globales Hardware-gesteuertes Scheduling in einem Multikern-Echtzeitbetriebssystem auf RISC-V

[PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Malte Bargholz (abgegeben: 09. Aug 2018)

Integration of a Priority-Obedient Interrupt Controller into the Rocket Softcore


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Gerion Entrup
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Matthias Wolf (abgegeben: 01. Nov 2018)

Fault-Space Approximation using Basic-Block Fault Injection

[PDF]

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Christian Dietrich
Daniel Lohmann

 
Bearbeiter
Daniel Kiechle (abgegeben: 15. Oct 2018)

Fault-Space Approximation using Call-Region Fault Injection


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Oskar Pusz
Daniel Lohmann

 
Bearbeiter
anonymous (abgegeben: 01. Nov 2018)

Bintail: Binary Level Tailoring of ELF Executables via Feature Selection and Variant Elimination


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Felix Herrmann (abgegeben: 01. Nov 2018)

Measurement-Directed Application of Compiler-Assisted Dynamic Variability Management in the Linux Kernel


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Florian Rommel
Christian Dietrich
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Michael Rodin (abgegeben: 01. Oct 2018)

Analyzing and Optimizing TLB-Induced Thread Migration Costs on Linux/ARM


 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Björn Fiedler
Christian Dietrich
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Tobias Landsberg (abgegeben: 21. Nov 2018)

2017 (4 theses)

Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel

Use the multiverse compiler plugin to optimize paths in the Linux kernel [PDF]

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann

 
Project
CADOS

 
Bearbeiter
Florian Rommel (abgegeben: 02. Nov 2017)

Effiziente globale Änderungsanalysen in großen C-Projekten durch Syntaxbaum-Hashing im Clang Compiler

Use the cHash method to quantify the impact of source code changes.

 
Typ
Masterarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Andreas Ziegler
Wolfgang Schröder-Preikschat
Daniel Lohmann

 
Project
cHash

Avoidance of Redundant Recompilations by Propagation of Semantic Fingerprints

Redundant-compile propagation in the make dependency graph

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
cHash

Integration of AST Hashing into the GCC compiler

Implementation and Analysis of a GCC Plugin to calculate an hash value over the abstract syntax tree of a compilation unit.

 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

 
Project
cHash

2016 (2 theses)

Separating Control and Data Stacks with Binary Patching


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

Priority-Obedient Multicore Interrupt Controller


 
Typ
Bachelorarbeit

 
Status
abgeschlossen

 
Supervisors
Christian Dietrich
Daniel Lohmann

Thesis Template

On all lab computers you find under /proj/templates/thesis a LaTeX template (including the required cover page) for your BA/MA thesis document. Just copy this template to start.