Teaching Activities of Daniel Lohmann
I give lectures, labs, and seminars around the topic of system software and its development. The following lists all lectures I have hold at LUH since summer term 2017. Look here for a my list of teaching activities before that time.
Sommer 2019
- Betriebssystembau und Betriebsystembau für Mehrkernsysteme
- Projekt SRA
- Proseminar Parallelverarbeitung
- Oberseminar SRA
Winter 2018
- Grundlagen der Betriebssysteme
- Labor: Betriebssystemtechnik
- Seminar: Coprozessoren (AKSI)
- Oberseminar SRA
Sommer 2018
- Betriebssystembau und Betriebsystembau für Mehrkernsysteme
- Projekt SRA
- Proseminar Parallelverarbeitung
- Oberseminar SRA
Winter 2017
Summer 2017
Theses
Open Theses
Use LLVM Compiler Optimization Techniques in ARA
Status: offen
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend ARA - a tool for static (real-time) operating system analysis - to use as much already implemented LLVM analyses as possible
Bring Support for Zephyr Analysis to ARA
Status: offen
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend ARA - an (real-time) operating system (RTOS) analyzer - for analysis of Zeyphr, an RTOS guided by the Linux Foundation
Implementing AVR Instruction Set Architecture and Evaluating its Resilience using Fault Injection
Status: offen
Supervisors: Oskar Pusz, Christian Dietrich, Daniel Lohmann
Use SAIL language to integrate an AVR ISA implementation into a fault injection framework. Different CPU architectures shall be evaluated for reliability.
Running Theses
FreeRTOS Instance Level Specialization - Static Generation of System Objects
Status: laufend
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
A compile-time generator for static FreeRTOS system objects
Researching the Effects of Compiler Optimization Flags on Different Processor Architectures
Status: reserviert
Supervisors: Stefan Naumann, Daniel Lohmann
Project: AHA
Research the effects of compiler optimization flags on different processor architectures and their impact on the code being executed.
Run-Time Binary Patching for Systems with Dynamically Loadable Modules
Status: laufend
Supervisors: Florian Rommel, Daniel Lohmann
Project: CADOS
Bearbeiter: Dominik Töllner
Explore the possibilities of using multiverse on systems with loadable modules by extending its semantics and implementation.
Explicit Harts: Empowering the OS to Control Hardware Threads
Status: reserviert
Supervisors: Björn Fiedler, Daniel Lohmann
Project: AHA
Currently the CPU decides in case of hardware multithreading which thread gets executed by the pipeline. This thesis investigates benefits of giving explicit control over this decision to the operating system.
Accelerate Micropython: Develop hardware accelerators for the RISC-V platform for Micropython.
Status: laufend
Supervisors: Stefan Naumann, Daniel Lohmann
Project: AHA
Bearbeiter: Gabriel Behn
Benchmark Micropython, identify spots to accelerate and propose hardware accelerators for the Micropython interpreter.
Finished Theses
Status: abgeschlossen
Supervisors: Gerion Entrup, Christian Dietrich, Daniel Lohmann
Project: AHA
Bearbeiter: Malte Bargholz (abgegeben: 09. Aug 2018)
[PDF]
Integration of a Priority-Obedient Interrupt Controller into the Rocket Softcore
Status: abgeschlossen
Supervisors: Gerion Entrup, Christian Dietrich, Daniel Lohmann
Project: AHA
Bearbeiter: Matthias Wolf (abgegeben: 01. Nov 2018)
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Bearbeiter: Manuel Krüger (abgegeben: 13. Feb 2019)
Welche Gefahren und Möglichkeiten ergeben sich durch Angriffsroutinen aus dem Desktopbereich für den Einsatz von Automotive Grade Linux (AGL) in automobilen Anwendungen
Measuring Effects of Compiler Flags on Different Processor Architectures
Status: abgeschlossen
Supervisors: Gerion Entrup, Florian Rommel, Daniel Lohmann
Project: AHA
Bearbeiter: Carlo Schmitt
bAUTOSAR: A Javascript Real-Time Abstraction for Improved Website Responsiveness
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Bearbeiter: Robin Thrift (abgegeben: 15. Mar 2019)
An OSEK-like real-time abstraction for prioritized execution of Javascript programs.
Fault-Space Approximation using Basic-Block Fault Injection
Status: abgeschlossen
Supervisors: Oskar Pusz, Christian Dietrich, Daniel Lohmann
Bearbeiter: Daniel Kiechle (abgegeben: 15. Oct 2018)
[PDF]
Data-Flow Analysis for Fault-Equivalence Set Forming on the ISA Layer
Status: abgeschlossen
Supervisors: Oskar Pusz, Christian Dietrich, Daniel Lohmann
Bearbeiter: Zena Obeidi
Automatic Real-Time System Analysis
Status: abgeschlossen
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Bearbeiter: Benedikt Steinmeier (abgegeben: 06. Mar 2019)
Status: abgeschlossen
Supervisors: Stefan Naumann, Daniel Lohmann
Project: CADOS
Bearbeiter: Lars Wrenger
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.
Bintail: Binary Level Tailoring of ELF Executables via Feature Selection and Variant Elimination
Status: abgeschlossen
Supervisors: Florian Rommel, Christian Dietrich, Daniel Lohmann
Project: CADOS
Bearbeiter: Felix Herrmann (abgegeben: 04. Nov 2018)
Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel
Status: abgeschlossen
Supervisors: Christian Dietrich, Andreas Ziegler, Wolfgang Schröder-Preikschat, Daniel Lohmann
Project: CADOS
Bearbeiter: Florian Rommel (abgegeben: 02. Nov 2017)
Use the multiverse compiler plugin to optimize paths in the Linux kernel [PDF]
Status: abgeschlossen
Supervisors: Florian Rommel, Christian Dietrich, Daniel Lohmann
Project: CADOS
Bearbeiter: Michael Rodin
ROS Timestamps for libusb in the Linux Kernel
Status: abgeschlossen
Supervisors: Björn Fiedler, Christian Dietrich, Daniel Lohmann
Project: AHA
Analyzing and Optimizing TLB-Induced Thread Migration Costs on Linux/ARM
Status: abgeschlossen
Supervisors: Björn Fiedler, Christian Dietrich, Daniel Lohmann
Project: AHA
Bearbeiter: Tobias Landsberg
Status: abgeschlossen
Supervisors: Christian Dietrich, Andreas Ziegler, Wolfgang Schröder-Preikschat, Daniel Lohmann
Project: cHash
Use the cHash method to quantify the impact of source code changes.
Avoidance of Redundant Recompilations by Propagation of Semantic Fingerprints
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Project: cHash
Redundant-compile propagation in the make dependency graph
Integration of AST Hashing into the GCC compiler
Status: abgeschlossen
Supervisors: Christian Dietrich, Daniel Lohmann
Project: cHash
Implementation and Analysis of a GCC Plugin to calculate an hash value over the abstract syntax tree of a compilation unit.