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.
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.
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
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend the C preprocessor with automatic function markers that are usable in ARA
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).
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
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
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
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
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
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
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.
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.