Folgen
Matthias Eichholz
Matthias Eichholz
Siemens Technology
Bestätigte E-Mail-Adresse bei siemens.com
Titel
Zitiert von
Zitiert von
Jahr
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
162019
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
162019
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
152022
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
132020
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
Type-Safe Data Plane Programming
M Eichholz
Technische Universität Darmstadt, 2022
2022
33rd European Conference on Object-Oriented Programming (ECOOP 2019)
S Meier, S Mover, BYE Chang, K Fernandez-Reyes, D Clarke, L Henrio, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
Language support for verifiable SDNs
M Eichholz
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016
2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10