Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik
(a picture of me)

Bernhard Heinloth,
M.Sc.

Member of the research staff at the
Department of Computer Science 4 (Distributed Systems and Operating Systems) at
Friedrich-Alexander-Universität Erlangen-Nürnberg.

Research and Academic Activities

VAMOS
Variability Management in Operating Systems

Publications

(automatically exported by UnivIS)

Heinloth, Bernhard ; Ammon, Marco ; Nguyen, Dustin ; Hönig, Timo ; Sieh, Volkmar ; Schröder-Preikschat, Wolfgang:
Cocoon: Custom-Fitted Kernel Compiled on Demand.
In: ACM (Ed.) : Proceedings of the 10th Workshop on Programming Languages and Operating Systems
(10th Workshop on Programming Languages and Operating Systems (PLOS 2019), Huntsville, ON, Canada, 27.10.2019).
New York, NY, USA : ACM, 2019, pp 1-7. - ISBN 978-1-4503-7017-2
Keywords: PAX, InvasIC
[doi>10.1145/3365137.3365398] (BibTeX)

Ziegler, Andreas ; Geus, Julian ; Heinloth, Bernhard ; Hönig, Timo ; Lohmann, Daniel:
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries.
In: ACM Transactions on Embedded Computing Systems 18 (2019), No. 5s, pp 102:1-102:23
Keywords: InvasIC; CADOS; Shared Libraries; Binary Tailoring; Linux
[doi>10.1145/3358222] (BibTeX)

Herzog, Benedict ; Gerhorst, Luis ; Heinloth, Bernhard ; Reif, Stefan ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
INTSPECT: Interrupt Latencies in the Linux Kernel.
In: IEEE (Ed.) : Proceedings of the 2018 Brazilian Symposium on Computing Systems Engineering (SBESC '18)
(Brazilian Symposium on Computing Systems Engineering, Salvador, Brazil, 6. - 9. 11. 2018).
2018, pp 1-8.
Keywords: Linux; Interrupts; Latency; Measurements (BibTeX)

Ziegler, Andreas ; Heinloth, Bernhard ; Lohmann, Daniel:
Automatic Feature Selection in Large-Scale System-Software Product Lines.
In: Flatt, Matthew (Ed.) : Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences
(13th International Conference on Generative Programming: Concepts & Experiences (GPCE '14), Västerås, Sweden, Sep. 2014).
New York, NY, USA : ACM Press, 2014, pp 39-48. - ISBN 978-1-4503-3161-6
Keywords: CADOS,VAMOS, Linux, Tailoring, optimiziaton, experimentation
[doi>10.1145/2658761.2658767] (BibTeX)

Kurmus, Anil ; Tartler, Reinhard ; Dorneanu, Daniela ; Heinloth, Bernhard ; Rothberg, Valentin ; Ziegler, Andreas ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel ; Kapitza, Rüdiger:
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.
In: The Internet Society (Ed.) : Proceedings of the 20th Network and Distributed System Security Symposium (NDSS '13)
(Network and Distributed System Security Symposium, San Diego, CA United States, 24-27.2.2013).
2013, pp 1-18.
Keywords: VAMOS,Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Tartler, Reinhard ; Kurmus, Anil ; Ziegler, Andreas ; Heinloth, Bernhard ; Rothberg, Valentin ; Dorneanu, Daniela ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel:
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
In: USENIX (Ed.) : Proceedings of the 8th Workshop on Hot Topics in System Dependability (HotDep '12)
(Eigth Workshop on Hot Topics in System Dependability, Hollywood, CA, USA, 7.10.2012).
2012.
Keywords: VAMOS, TCLOUDS, Configurability, System Software, Software Engineering, Maintenance, Security, (BibTeX)

Teaching

Sommersemester 2020

Wintersemester 2019/20

Sommersemester 2019

Wintersemester 2018/19

Sommersemester 2018

Wintersemester 2017/18

Sommersemester 2017

Theses

(automatically exported by UnivIS)

Open Topics

Ongoing Theses

Finished Theses

Analysis of Interrupt Latencies in the Linux Kernel
Student: Luis Gerhorst (handed in on 03.12.2018 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Stefan Reif, M. Sc., Bernhard Heinloth, M. Sc., Dr.-Ing. Timo Hönig


Boot-time Target Optimization for Operating Systems based on LLVM for X86 Architecture
Student: Dustin Nguyen (handed in on 31.01.2019 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh, Akad. ORat, Bernhard Heinloth, M. Sc.


Compiler-Based Target-Optimization of Operating-System Functions
Student: Marco Ammon (handed in on 31.01.2020 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Bernhard Heinloth, M. Sc., Dustin Nguyen, M. Sc.


Efficient One-Shot Function Tracing in the Linux Kernel
Student: Thomas Preisner (handed in on 02.04.2019 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Andreas Ziegler, M. Sc., Bernhard Heinloth, M. Sc.


RISCy StuBS - A Multithreaded Operating System for RISC-V
Student: Lorenz Kästle (handed in on 29.04.2020 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Bernhard Heinloth, M. Sc., Christian Eichler, M. Sc.


Sandkasten: a seccomp-based user sandbox to restrict file and process access (sandkasten)
Student: Simon Ruderich (handed in on 16.07.2018, Thesis file...)
Supervisors: Bernhard Heinloth, M. Sc., Andreas Ziegler, M. Sc.


StuBS - ARMv7-based Educational Operating System for Raspberry Pi
Student: Maximilian Ott (handed in on 18.09.2019 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Bernhard Heinloth, M. Sc., Christian Eichler, M. Sc.


Zielhardwareoptimierung von Betriebssystemen zur Bootzeit auf Basis des LLVM-Compilers auf der Aarch64-Architektur
Student: Sebastian Endres (handed in on 29.08.2019 )
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Dr.-Ing. Volkmar Sieh, Akad. ORat, Bernhard Heinloth, M. Sc.

Own Master's Thesis

Automatic Tailoring of the Multi-Purpose Linux Operating System on Embedded Devices
Student: Bernhard Heinloth (handed in on 10.09.2014, Thesis file...)
Supervisors: Prof. Dr.-Ing. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. habil. Daniel Lohmann