23 citations · 38 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
Type-safe, Polyvariadic Event Correlation
Oliver Bračevac, Guido Salvaneschi, Sebastian Erdweg +1
The pivotal role that event correlation technology plays in todays applications has lead to the emergence of different families of event correlation approaches with a multitude of…
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…
Comprehensive Multiparty Session Types
Andi Bejleri, Elton Domnori, Malte Viering +2
Multiparty session types (MST) are a well-established type theory that describes the interactive structure of a fixed number of components from a global point of view and type-chec…