Running Theses

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
reserviert

 
Supervisors
Gerion Entrup
Daniel Lohmann

 
Project
AHA

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

Fast Memory Compaction for Page Allocators

Active memory defragmentation for page allocators.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

Lo(ck|g)-free Memory Compaction for Persistent Page Allocators in Linux

Active memory defragmentation for a new persistent, lock- and log-free page allocator.

 
Typ
Masterarbeit

 
Status
reserviert

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS