Matthias Eichholz
Cited by
Cited by
Dependently-Typed Data Plane Programming
M Eichholz, EH Campbell, M Krebs, N Foster, M Mezini
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
Online reprogrammable multi tenant switches
J Krude, J Hofmann, M Eichholz, K Wehrle, A Koch, M Mezini
Proceedings of the 1st ACM CoNEXT Workshop on Emerging in-Network Computing …, 2019
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
M Eichholz, E Campbell, N Foster, G Salvaneschi, M Mezini
33rd European Conference on Object-Oriented Programming (ECOOP 2019) 134 …, 2019
ReactiFi: Reactive programming of WI-fi firmware on mobile devices
A Sterz, M Eichholz, R Mogk, L Baumgärtner, P Graubner, M Hollick, ...
arXiv preprint arXiv:2010.00354, 2020
GRASS: generic reactive application-specific scheduling
M Blöcher, M Eichholz, P Weisenburger, P Eugster, M Mezini, ...
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and …, 2019
Optimizing Data Plane Programs for the Network
J Krude, M Eichholz, M Winck, K Wehrle, M Mezini
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming …, 2019
Towards safe modular composition of network functions
M Eichholz, G Salvaneschi, M Mezini
Companion Proceedings of the 2nd International Conference on the Art …, 2018
Type-Safe Data Plane Programming
M Eichholz
Technische Universität Darmstadt, 2022
Language support for verifiable SDNs
M Eichholz
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016
The system can't perform the operation now. Try again later.
Articles 1–9