99 citations · 382 across the 19 of their papers we have counts for
3 papers · 1 filter
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…
Event-Driven Network Programming
Jedidiah McClurg, Hossein Hojjat, Nate Foster +1
Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to g…
A Fast Compiler for NetKAT
Steffen Smolka, Spiridon Eliopoulos, Nate Foster +1
High-level programming languages play a key role in a growing number of networking platforms, streamlining application development and enabling precise formal reasoning about netwo…