Systems Research and Architecture Group (SRA)

Gerion Entrup

Gerion Entrup (M.Sc.)

Wissenschaftlicher Mitarbeiter

Mail: entrup@sra.uni-hannover.de
Telefon: 0511 762 19737
Adresse: 30167 Hannover, Appelstrasse 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

2018

OSPERT Workshop 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

Automatic Realtime System Analysis

 
Status: reserviert
Supervisors: Gerion Entrup, Daniel Lohmann
Project: AHA