SRA - Running Theses

Let ARA Fly Fast: Optimizing an LLVM-Based Whole-System Optimizer for Embedded Real-Time Systems via Systematic Profiling

Typ: Bachelorarbeit
Status: laufend
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Make ARA fast. How fast? Really fast with profiling and performance tuning.

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

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

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

Typ: Bachelorarbeit
Status: laufend
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Extend the analyses steps of ARA with a multi step visualization

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

Typ: Masterarbeit
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Orchestrate different existing static analysis techniques to analyze a real-time system in different depths and show the working with an implementation in ARA.