Gerion Entrup

Gerion Entrup (M.Sc.)

Wissenschaftlicher Mitarbeiter

Mail: entrup@sra.uni-hannover.de
Telefon: 0511 762 19737
Adresse: 30167 Hannover, Appelstraße 4, Raum 120

Projects

AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)
Goal of AHA is to improve nonfunctional properties of system software by a very deep, but fully automated specialization of the application-hardware bridge represented by the operating system. We investigate, how alternative implementations that are mapped more directly to hardware features, can be generated from a concrete application and their actual interactions with the operating system.

Publications

2019

OSPERT Workshop B
ARA: Automatic Instance-Level Analysis in Real-Time Systems
Gerion Entrup, Benedikt Steinmeier, Christian DietrichProceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]

2018

OSPERT Workshop B Best Paper Award
Levels of Specialization in Real-Time Operating Systems
Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]

2017

Thesis
Generische Graphanalyse in LLVM: Bessere Fehlerprüfung zur Compilezeit mithilfe von Programm- und Kontrollflussgraphen
Gerion Entrup Master ThesisTechnische Universität Braunschweig, Leibniz Universität Hannover2017.
PDF [BibTex]

2014

Thesis
Videosignaturen für die Detektion von Videoinhalten gleichen Ursprungs
Gerion Entrup Bachelor ThesisLeibniz Universität Hannover2014.
PDF [BibTex]

2013

Thesis
Bitcoin – Der Stärkere gewinnt
Gerion Entrup Bachelor ThesisLeibniz Universität Hannover2013.
PDF [BibTex]

Teaching

Supervised Theses

Running Theses

Use LLVM Compiler Optimization Techniques in ARA

 
Typ: Bachelorarbeit
Status: reserviert
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

 
Typ: Bachelorarbeit
Status: reserviert
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

Finished Theses

InterSloth: Globales Hardware-gesteuertes Scheduling in einem Multikern-Echtzeitbetriebssystem auf RISC-V

Typ: Bachelorarbeit
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

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Gerion Entrup, Christian Dietrich, Daniel Lohmann
Project: AHA
Bearbeiter: Matthias Wolf (abgegeben: 01. Nov 2018)

Measuring Effects of Compiler Flags on Different Processor Architectures

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Gerion Entrup, Florian Rommel, Daniel Lohmann
Project: AHA
Bearbeiter: Carlo Schmitt (abgegeben: 21. Mar 2019)

Automatic Real-Time System Analysis

 
Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA
Bearbeiter: Benedikt Steinmeier (abgegeben: 06. Mar 2019)