Matthias Eichholz

According to our database, Matthias Eichholz authored at least 9 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Type-Safe Data Plane Programming.

Matthias Eichholz

PhD thesis, 2022

Dependently-typed data plane programming.

Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini

Proc. ACM Program. Lang., 2022

2021

ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices.

Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben

Art Sci. Eng. Program., 2021

2019

Optimizing Data Plane Programs for the Network.

Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle, Mira Mezini

Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages, 2019

GRASS: generic reactive application-specific scheduling.

Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi

Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2019

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.

Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Online Reprogrammable Multi Tenant Switches.

Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle, Andreas Koch, Mira Mezini

Proceedings of the 1st ACM CoNEXT Workshop on Emerging in-Network Computing Paradigms, 2019

2018

Towards safe modular composition of network functions.

Matthias Eichholz, Guido Salvaneschi, Mira Mezini

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2016

Language support for verifiable SDNs.

Matthias Eichholz

Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016