99 citations · 382 across the 19 of their papers we have counts for
6 papers · 1 filter
P4Testgen: An Extensible Test Oracle For P4
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi +7
We present P4Testgen, a test oracle for the P4 language. P4Testgen supports automatic test generation for any P4 target and is designed to be extensible to many P4 targets.…
Formal Abstractions for Packet Scheduling
Anshuman Mohan, Yunhe Liu, Nate Foster +2
Early programming models for software-defined networking (SDN) focused on basic features for controlling network-wide forwarding paths, but more recent work has considered richer f…
Optimal Consistent Network Updates in Polynomial Time
Pavol Cerny, Nate Foster, Nilesh Jagnik +1
Software-defined networking (SDN) allows operators to control the behavior of a network by programatically managing the forwarding rules installed on switches. However, as is commo…
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing
Praveen Kumar, Yang Yuan, Chris Yu +3
Wide-area network traffic engineering enables network operators to reduce congestion and improve utilization by balancing load across multiple paths. Current approaches to traffic…
Morpheus: Safe and Flexible Dynamic Updates for SDNs
Karla Saur, Joseph Collard, Nate Foster +3
SDN controllers must be periodically modified to add features, improve performance, and fix bugs, but current techniques for implementing dynamic updates are inadequate. Simply hal…
Merlin: A Language for Provisioning Network Resources
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi +4
This paper presents Merlin, a new framework for managing resources in software-defined networks. With Merlin, administrators express high-level policies using programs in a declara…