2022

Eichholz, Matthias ; Campbell, Eric Hayden ; Krebs, Matthias ; Foster, Nate ; Mezini, Mira (2022)
Dependently-Typed Data Plane Programming.
In: Proceedings of the ACM on Programming Languages, 6 (POPL)
doi: 10.1145/3498701
Artikel, Bibliographie

2019

Eichholz, Matthias ; Campbell, Eric ; Foster, Nate ; Salvaneschi, Guido ; Mezini, Mira (2019)
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
33rd European Conference on Object-Oriented Programming (ECOOP 2019).
doi: 10.4230/LIPIcs.ECOOP.2019.12
Konferenzveröffentlichung, Bibliographie