Luis Gerhorst

Lehrstuhl für Informatik 4 (Systemsoftware)

PfIP: A UDP/IP Transactional Network Stack for Power-Failure Resilience in Embedded Systems (2025) Vogelgesang K, Mudraje I, Gerhorst L, Raffeck P, Wägemann P, Herfet T, Schröder-Preikschat W Conference contribution Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems (2025) Mudraje I, Vogelgesang K, Devreker J, Gerhorst L, Raffeck P, Wägemann P, Herfet T Conference contribution vNV-Heap: An Ownership-based Virtually Non-Volatile Heap for Embedded Systems (2025) Gerber ME, Gerhorst L, Mudraje I, Vogelgesang K, Herfet T, Wägemann P Conference contribution, Conference Contribution VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions (2024) Gerhorst L, Herzog H, Wägemann P, Ott M, Kapitza R, Hönig T Conference contribution carbond: An Operating-System Daemon for Carbon Awareness (2023) Andreas S, Stock G, Ohs R, Gerhorst L, Herzog B, Hoenig T Conference contribution AnyCall: Fast and Flexible System-Call Aggregation (2021) Gerhorst L, Herzog B, Reif S, Schröder-Preikschat W, Hönig T Conference contribution Migration-Based Synchronization (2021) Reif S, Raffeck P, Gerhorst L, Schröder-Preikschat W, Hönig T Conference contribution EnergyBudgets: Integrating Physical Energy Measurement Devices into Systems Software (2020) Gerhorst L, Reif S, Herzog B, Hönig T Conference contribution Earl: Energy-Aware Reconfigurable Locks (2020) Reif S, Raffeck P, Janker H, Gerhorst L, Hönig T, Schröder-Preikschat W Journal article INTspect: Interrupt Latencies in the Linux Kernel (2019) Herzog B, Gerhorst L, Heinloth B, Reif S, Hönig T, Schröder-Preikschat W Conference contribution