Luis Gerhorst

Orcid: 0000-0002-3401-430X

According to our database1, Luis Gerhorst authored at least 16 papers between 2018 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Ownership-based Virtual Memory for Intermittently-Powered Embedded Systems.
CoRR, January, 2025

Open-Source ESP32-C3 Wi-Fi Drivers for Static Analysis.
CoRR, January, 2025

vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems.
Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, 2025

Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems.
Proceedings of the 13th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, 2025

Pfip: A Udp/ip Transactional Network Stack for Power-Failure Resilience in Embedded Systems.
Proceedings of the 22nd IEEE Consumer Communications & Networking Conference, 2025

2024
PFIP: A UDP/IP Transactional Network Stack for Power-Failure Resilience in Embedded Systems.
Dataset, June, 2024

Mitigating Spectre-PHT using Speculation Barriers in Linux BPF.
CoRR, 2024

VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions.
Proceedings of the 27th International Symposium on Research in Attacks, 2024

Dirty Electrons: On the Carbon Intensity of Stored Energy.
Proceedings of the 15th IEEE International Green and Sustainable Computing Conference, 2024

2023
carbond: An Operating-System Daemon for Carbon Awareness.
Proceedings of the 2nd Workshop on Sustainable Computer Systems, 2023

2021
AnyCall: Fast and Flexible System-Call Aggregation.
Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

Migration-Based Synchronization.
Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

2020
Earl: energy-aware reconfigurable locks.
SIGBED Rev., 2020

EnergyBudgets: Integrating Physical Energy Measurement Devices into Systems Software.
Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

2019
Towards Low-Jitter and Energy-Efficient Data Processing in Cyber-Physical Information Systems.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018
INTspect: Interrupt Latencies in the Linux Kernel.
Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018


  Loading...