Follow
Matthias Eichholz
Title
Cited by
Cited by
Year
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
102019
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
92019
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices.
A Sterz, M Eichholz, R Mogk, L Baumgärtner, P Graubner, M Hollick, ...
Art Sci. Eng. Program. 5 (2), 4, 2021
82021
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
62022
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
22019
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
12019
Towards safe modular composition of network functions
M Eichholz, G Salvaneschi, M Mezini
Companion Proceedings of the 2nd International Conference on the Art …, 2018
12018
Language support for verifiable SDNs
M Eichholz
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016
2016
Type-Safe Data Plane Programming
M Eichholz
Technische Universität Darmstadt, 0
The system can't perform the operation now. Try again later.
Articles 1–9