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.
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.
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.
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extent ARA's value analysis to pointers, conditions and loops.
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.
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.
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.
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.
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).
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
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
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.
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.
Typ: Masterarbeit
Status: laufend
Supervisors: Oskar Pusz, Daniel Lohmann
Project: CLASSY-FI
Bearbeiter: Tim-Marek Thomas
Avoiding unnecessary fault-injection campaign run time
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
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
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
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.
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.