Matthias Eichholz

13 papers A 1Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Data Centers Manufacturing Steel: Rethinking Industrial Networks in the Age of IT.
HotNets
Nikolaos Mitsakis, Marco Reisacher, Matthias Eichholz, Yannic Breiting, Harald Albrecht, Andreas Blenk, Oliver Hohlfeld
2022 J jnl
Dependently-Typed Data Plane Programming.
CoRR
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
2022 J jnl
Dependently-typed data plane programming.
Proc. ACM Program. Lang.
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
2022 — —
Type-Safe Data Plane Programming.
Matthias Eichholz
2021 J jnl
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices.
Art Sci. Eng. Program.
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben
2020 J jnl
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices.
CoRR
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben
2019 — conf
GRASS: generic reactive application-specific scheduling.
REBLS@SPLASH
Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
2019 A conf
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
ECOOP
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019 J jnl
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
CoRR
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019 — conf
Online Reprogrammable Multi Tenant Switches.
ENCP@CoNEXT
Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle, Andreas Koch, Mira Mezini
2019 — conf
Optimizing Data Plane Programs for the Network.
NetPL@SIGCOMM
Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle, Mira Mezini
2018 — conf
Towards safe modular composition of network functions.
Programming
Matthias Eichholz, Guido Salvaneschi, Mira Mezini
2016 — conf
Language support for verifiable SDNs.
SPLASH (Companion Volume)
Matthias Eichholz