Stefan Reif

Dr.-Ing. Stefan Reif

Department Informatik (INF)
Lehrstuhl für Informatik 4 (Systemsoftware)

Forschungsbereiche

  • Energiegewahre Systeme
  • Effiziente, skalierbare und vorhersagbare parallele Systeme

Forschungsprojekte

e.LARN|LARN Energy-, Latency- and Resilience-aware Networking (DFG SPP 1914|Homepage)
PAX Power-Aware Critical Sections (DFG)
LAOS Latenzgewahrheit in Betriebssystemen für massiv-parallele Prozessoren (DFG)
COKE Software-controlled consistency and coherence for many-core processor architectures (DFG)

Publikationen

2021

Gerhorst, Luis ; Herzog, Benedict ; Reif, Stefan ; Schröder-Preikschat, Wolfgang ; Hönig, Timo:
AnyCall: Fast and Flexible System-Call Aggregation.
In: ACM (Hrsg.) : Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS'21)
(11th Workshop on Programming Languages and Operating Systems, virtual, 2021-10-25).
2021, S. 1-8.
Stichwörter: Neon; ANTILLAS
[doi>10.1145/3477113.3487267] (BibTeX)

Herzog, Benedict ; Hügel, Fabian ; Reif, Stefan ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Automated Selection of Energy-efficient Operating System Configurations.
In: ACM (Hrsg.) : Proceedings of the 2nd International Workshop on Energy-Efficient Learning at the Edge (WEEE'21)
(2nd International Workshop on Energy-Efficient Learning at the Edge, virtual, 2021-06-28).
2021, S. 309-315.
Stichwörter: InvasIC; Coke; ANTILLAS (BibTeX)

Reif, Stefan ; Raffeck, Phillip ; Gerhorst, Luis ; Schröder-Preikschat, Wolfgang ; Hönig, Timo:
Migration-Based Synchronization.
In: IEEE (Hrsg.) : Proceedings of the 11th Brazilian Symposium on Computing Systems Engineering
(11th Brazilian Symposium on Computing Systems Engineering, online, November 22-25, 2021).
online : IEEE, 2021, S. 1 – 8.
[doi>10.1109/SBESC53686.2021.9628358] (BibTeX)

Eichler, Christian ; Hofmeier, Henriette ; Reif, Stefan ; Hönig, Timo ; Nolte, Jörg ; Schröder-Preikschat, Wolfgang:
Neverlast: Towards the Design and Implementation of the NVM-based Everlasting Operating System.
In: - (Hrsg.) : Proceedings of the 54th Hawaii International Conference on System Sciences (HICSS54)
(54th Hawaii International Conference on System Sciences, virtual, 2021-01-04).
Honolulu, HI, USA : ScholarSpace, 2021, S. 7227-7236.
[doi>10.24251/HICSS.2021.870] (BibTeX)

Reif, Stefan ; Herzog, Benedict ; Hemp, Judith ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Poster: AI Waste Prevention: Time and Power Estimation for Edge Tensor Processing Units.
In: Nieße, Astrid ; Ardakanian, Omid (Hrsg.) : Proceedings of the Twelfth ACM International Conference on Future Energy Systems (e-Energy 2021)
(Twelfth ACM International Conference on Future Energy Systems (e-Energy 2021), Torino, Italy, June 28 - July 2, 2021).
New York : ACM, 2021. (Poster Abstract)
Stichwörter: InvasIC; eLARN; PAX; ANTILLAS (BibTeX)

Herzog, Benedict ; Reif, Stefan ; Hügel, Fabian ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Poster: Towards Automated System-Level Energy-Efficiency Optimisation using Machine Learning.
In: ACM (Hrsg.) : Proceedings of the Twelfth ACM International Conference on Future Energy Systems (e-Energy 2021)
(Twelfth ACM International Conference on Future Energy Systems (e-Energy 2021), Torino, Italy, June 28 - July 2, 2021).
New York : ACM, 2021. (Poster Abstract)
Stichwörter: InvasIC; eLARN; Coke; ANTILLAS (BibTeX)

Herzog, Benedict ; Reif, Stefan ; Preis, Julian ; Schröder-Preikschat, Wolfgang ; Hönig, Timo:
The Price of Meltdown and Spectre: Energy Overhead of Mitigations at Operating System Level.
In: ACM (Hrsg.) : Proceedings of the 14th European Workshop on Systems Security (EuroSec'21)
(14th European Workshop on Systems Security, virtual, 2021-04-26).
2021, S. 8-14.
Stichwörter: InvasIC; eLARN; ANTILLAS
[doi>10.1145/3447852.3458721] (BibTeX)

2020

Gerhorst, Luis ; Reif, Stefan ; Herzog, Benedict ; Hönig, Timo:
EnergyBudgets: Integrating Physical Energy Measurement Devices into Systems Software.
In: IEEE (Hrsg.) : Proceedings of the 2020 Brazilian Symposium on Computing Systems Engineering (SBESC '20)
(Brazilian Symposium on Computing Systems Engineering, online, 2020-11-23).
2020, S. 1-8.
Stichwörter: energy aware systems; tools; performance evaluation; resource management; design methodologies (BibTeX)

Reif, Stefan ; Herzog, Benedict ; Hügel, Fabian ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Nearly Symmetric Multi-Core Processors.
In: ACM (Hrsg.) : Proceedings of the 11th ACM SIGOPS Asia-Pacific Workshop on Systems
(The 11th ACM SIGOPS Asia-Pacific Workshop on Systems, Tsukuba, Japan, 2020-08-24).
2020, S. 1–8.
Stichwörter: InvasIC; eLARN; LAOS (BibTeX)

Reif, Stefan ; Herzog, Benedict ; Hemp, Judith ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Precious: Resource-Demand Estimation for Embedded Neural Network Accelerators.
In: mlsys.org (Hrsg.) : Proceedings of the 1st International Workshop on Benchmarking Machine Learning Workloads on Emerging Hardware
(1st International Workshop on Benchmarking Machine Learning Workloads on Emerging Hardware (CHALLENGE'20), Austin, TX, USA, 04.03.2020).
2020, S. 1-9.
Stichwörter: InvasIC, PAX, eLARN (BibTeX)

Reif, Stefan ; Schröder-Preikschat, Wolfgang:
Precisely Timed Task Execution.
In: IEEE (Hrsg.) : Proceedings of the 23rd International Symposium on Real-Time Distributed Computing
(International Symposium on Real-Time Distributed Computing (ISORC 2020), Nashville, TN, USA, May 19-21).
2020, S. 1-10.
Stichwörter: Latency; Jitter; OS Noise; Predictability; Interference; Timed Task Execution (BibTeX)

Reif, Stefan ; Raffeck, Phillip ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang:
Work In Progress: Control-Flow Migration for Data-Locality Optimisation in Multi-Core Real-Time Systems.
In: IEEE (Hrsg.) : Proceedings of the 41st Real-Time Systems Symposium (RTSS 2020)
(41st Real-Time Systems Symposium (RTSS 2020), virtual, 2020-12-1).
2020, S. 1-4. (BibTeX)

Reif, Stefan ; Herzog, Benedict ; Gil Pereira, Pablo ; Schmidt, Andreas ; Büttner, Tobias ; Hönig, Timo ; Schröder-Preikschat, Wolfgang ; Herfet, Thorsten:
X-Leep: Leveraging Cross-Layer Pacing for Energy-Efficient Edge Systems.
In: ACM (Hrsg.) : Proceedings of the 1st Workshop on Energy Efficiency at the Edge
(The 1st Workshop on Energy Efficiency at the Edge (WEEE 2020), virtuell, 2020-06-26).
2020, S. 1-6.
Stichwörter: Energy Efficiency; DVFS; Real-Time Communication; Cross-Layer Pacing; Edge Computing; Internet of Thingss
[doi>10.1145/3396851.3402924] (BibTeX)

2019

Schmidt, Andreas ; Reif, Stefan ; Pereira, Pablo Gil ; Hönig, Timo ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang:
Cross-Layer Pacing for Predictably Low Age of Information.
In: - (Hrsg.) : Proceedings of Informatik 2019
(Informatik 2019, Kassel).
2019, S. 1-2.
Stichwörter: : Cross-Layer Optimization; Pacing; Age of Information; Low Latency; Transport Protocols (BibTeX)

Schmidt, Andreas ; Reif, Stefan ; Gil Pereira, Pablo ; Hönig, Timo ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang:
Cross-Layer Pacing for Predictably Low Latency.
In: - (Hrsg.) : Proceedings of the 6th International IEEE Workshop on Ultra-Low Latency in Wireless Networks (ULLWN)
(IEEE Workshop on Ultra-Low Latency in Wireless Networks (ULLWN), Paris, France, 29.04.2019).
2019, S. 1-6.
Stichwörter: cross-layer optimization; low-latency networking; pacing; transport protocols (BibTeX)

Reif, Stefan ; Raffeck, Phillip ; Janker, Heiko ; Gerhorst, Luis ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
Earl: Energy-Aware Reconfigurable Locks.
In: - (Hrsg.) : Proceedings of the 9th Embedded Operating Systems Workshop (EWiLi 2019)
(EWiLi 2019 – The Embedded Operating Systems Workshop, New York, 17.10.2019).
2019, S. 1-6.
Stichwörter: Energy-aware systems, Dynamic reconfiguration, Mutual exclusion (BibTeX)

Gallenmüller, Sebastian ; Glebke, René ; Günther, Stephan ; Hauser, Eric ; Leclaire, Maurice ; Reif, Stefan ; Rüth, Jan ; Schmidt, Andreas ; Carle, Georg ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang ; Wehrle, Klaus:
Enabling Wireless Network Support for Gain Scheduled Control.
In: - (Hrsg.) : Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking
(2nd International Workshop on Edge Systems, Analytics and Networking, Dresden, 25.03.2019).
2019.
Stichwörter: edge computing; networking; control; latency-awareness; gain scheduling; reproducible wireless measurements (BibTeX)

Reif, Stefan ; Gerhorst, Luis ; Bender, Kilian ; Hönig, Timo:
Towards Low-Jitter and Energy-Efficient Data Processing in Cyber-Physical Information Systems.
In: IEEE Computer Society (Hrsg.) : Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS)
(Hawaii International Conference on System Sciences (HICSS), Maui, HI, USA, 8. - 11. January 2019).
2019, S. 7262-7269. (BibTeX)

2018

Reif, Stefan ; Schmidt, Andreas ; Hönig, Timo ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang:
Delta: Differential Energy-Efficiency, Latency, and Timing Analysis for Real-Time Networks.
In: - (Hrsg.) : Proceedings of the 16th International Workshop on Real-Time Networks (RTN'2018)
(The 16th International Workshop on Real-Time Networks (RTN'2018), Barcelona, Spain, July 3).
2018, S. 1-6.
Stichwörter: Cyber-physical networks; Network reliability; Real-time systems; Embedded and cyber-physical systems; Dependable and fault-tolerant systems and networks (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 (Hrsg.) : 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, S. 1-8.
Stichwörter: Linux; Interrupts; Latency; Measurements (BibTeX)

Reif, Stefan ; Schröder-Preikschat, Wolfgang:
POSTER: A Predictable Synchronisation Algorithm.
In: ACM SIGPLAN (Hrsg.) : Proceedings of the 23rd Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2018)
(23rd Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2018), Vienna, Austria, February 24-28).
2018, S. 415-416. - ISBN 978-1-4503-4982-6
Stichwörter: Concurrent Data Structures; Parallel Algorithms; Synchronization; Predictability
[doi>10.1145/3178487.3178533] (BibTeX)

Reif, Stefan ; Schröder-Preikschat, Wolfgang:
Predictable Synchronisation Algorithms for Asynchronous Critical Sections.
Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). 2018
(CS-2018-03). - Interner Bericht. 15 Seiten (Technical reports / Department Informatik Bd. CS-2018-03) ISSN 2191-5008
[doi>10.25593/issn.2191-5008/CS-2018-03] (BibTeX)

Reif, Stefan ; Schmidt, Andreas ; Hönig, Timo ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang:
X-Lap: A Systems Approach for Cross-Layer Profiling and Latency Analysis for Cyber-Physical Networks.
In: ACM SIGBED (Hrsg.) : Special Issue on 15th International Workshop on Real-Time Networks (RTN 2017).
Bd. 15, 3. Aufl. New York : Association for Computing Machinery (ACM), 2018, S. 19-24. (BibTeX)

2017

Reif, Stefan ; Hönig, Timo ; Schröder-Preikschat, Wolfgang:
In the Heat of Conflict: On the Synchronisation of Critical Sections.
In: IEEE (Hrsg.) : Proceedings of the 20th International Symposium on Real-Time Distributed Computing (ISORC 2017)
(20th International Symposium on Real-Time Distributed Computing (ISORC 2017), Toronto, Canada, May 16-18, 2017).
2017.
Stichwörter: Performance and Energy Analysis, Synchronisation, System Software, Real-time Kernels and OS, Embedded Systems, Energy-aware Systems (BibTeX)

Reif, Stefan ; Schmidt, Andreas ; Hönig, Timo ; Herfet, Thorsten ; Schröder-Preikschat, Wolfgang:
X-Lap: A Systems Approach for Cross-Layer Profiling and Latency Analysis for Cyber-Physical Networks.
In: - (Hrsg.) : Proceedings of the 15th International Workshop on Real-Time Networks (RTN'2017)
(The 15th International Workshop on Real-Time Networks (RTN'2017), Dubrovnic, Croatia, June 27, 2017).
2017.
Stichwörter: Networks; Cyber-physical networks; Network reliability; Computer systems organization; Real-time systems; Embedded and cyber-physical systems; Dependable and fault-tolerant systems and networks; (BibTeX)

Akademische Beiträge

Transactions on Computers (SI) 2022 Secondary Reviewer for the IEEE Transactions on Computers; Special Issue on Real-Time Systems
TECS (SI) 2021 Reviewer for the ACM Transactions on Embedded Computing Systems (TECS); Special Issue on Accelerating AI on the Edge
SBESC 2021 Secondary Reviewer for the XI Brazilian Symposium on Computing Systems Engineering
EMSOFT 2021 Secondary Reviewer for the 2021 International Conference on Embedded Software
ISORC 2021 Secondary Reviewer for the 2021 International Symposium on Real-Time Distributed Computing
EMSOFT 2020 Secondary Reviewer for the 2020 International Conference on Embedded Software
ISORC 2020 Secondary Reviewer for the 2020 International Symposium on Real-Time Distributed Computing
EMSOFT 2019 Secondary Reviewer for the 2019 International Conference on Embedded Software
ARCS 2019 Secondary Reviewer for the 2019 International Conference on Architecture of Computing Systems
EuroSys 2019 Shadow PC member of the 2019 European Conference on Computer Systems
EMSOFT 2019 Secondary Reviewer for the 2018 International Conference on Embedded Software
ARCS 2018 Secondary Reviewer for the 2018 International Conference on Architecture of Computing Systems
ARCS 2017 Secondary Reviewer for the 2017 International Conference on Architecture of Computing Systems
RTSS 2016 Secondary Reviewer for the 2016 Real-Time Systems Symposium

Lehre

Wintersemester 2020

Sommersemester 2020

Wintersemester 2019

Sommersemester 2017

Wintersemester 2016

Sommersemester 2016

Sommersemester 2015

Wintersemester 2014

Sommersemester 2014

Sommersemester 2013

Wintersemester 2012

Abschlussarbeiten

Beendete Arbeiten

Analysis and Prediction of Execution Time and Power Demand of Artificial Neural Network Inferences on a Tensor Processing
Bearbeiter: Judith Hemp (beendet am 07.09.2020 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig

Analysis of Interrupt Handling Overhead in the Linux Kernel
Bearbeiter: Luis Gerhorst (beendet am 03.12.2018, Ausarbeitung...)
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Bernhard Heinloth, M. Sc., Prof. Dr.-Ing. Timo Hönig

Approximate Computing by Dynamic Function Swapping
Bearbeiter: Dominic Braun (beendet am 11.10.2019 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig

Automatic Determination of Inter-Device Energy-Demand Variance
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig

Energy Implications of Spectre and Meltdown Mitigations
Bearbeiter: Julian Preis (beendet am 01.02.2021 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Prof. Dr.-Ing. Timo Hönig, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif

Flexible and Low-Overhead System-Call Aggregation using BPF
Bearbeiter: Luis Gerhorst (beendet am 23.12.2021, Ausarbeitung...)
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig

General-Purpose CPU Performance Scaling using Power Capping in Linux
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Stefan Reif

Low-power Real-time Communication in Linux-based Embedded Systems
Bearbeiter: Tobias Büttner (beendet am 01.04.2020 )
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Dr.-Ing. Stefan Reif, Benedict Herzog, M. Sc., Prof. Dr.-Ing. Timo Hönig

Utilizing Performance Counter Information To Improve the Linux Governor Decisions
Betreuer: Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat, Benedict Herzog, M. Sc., Dr.-Ing. Stefan Reif, Prof. Dr.-Ing. Timo Hönig