Matthias Eichholz

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 11

Top Topics

Historical Data

Top Venues

Proc. ACM Program. Lang.

SPLASH (Companion Volume)

Publications

Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-Typed Data Plane Programming. CoRR (2022)
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-typed data plane programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. Art Sci. Eng. Program. 5 (2) (2021)
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. CoRR (2020)
Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH (2019)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP (2019)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR (2019)
Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle, Andreas Koch, Mira Mezini
Online Reprogrammable Multi Tenant Switches. ENCP@CoNEXT (2019)
Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle, Mira Mezini
Optimizing Data Plane Programs for the Network. NetPL@SIGCOMM (2019)
Matthias Eichholz, Guido Salvaneschi, Mira Mezini
Towards safe modular composition of network functions. Programming (2018)
Matthias Eichholz
Language support for verifiable SDNs. SPLASH (Companion Volume) (2016)
Thomas Wittmann, Johannes Ruhland, Matthias Eichholz
Enhancing Rule Interestingness for Neuro-fuzzy Systems. PKDD (1999)