15 citations · 22 across the 2 of their papers we have counts for
3 papers
Dependently-Typed Data Plane Programming
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs +2
Programming languages like P4 enable specifying the behavior of network data planes in software. However, with increasingly powerful and complex applications running in the network…
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Artur Sterz, Matthias Eichholz, Ragnar Mogk +5
Network programmability will be required to handle future increased network traffic and constantly changing application needs. However, there is currently no way of using a high-le…
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Matthias Eichholz, Eric Campbell, Nate Foster +2
The P4 programming language offers high-level, declarative abstractions that bring the flexibility of software to the domain of networking. Unfortunately, the main abstraction used…