• Publications
  • Influence
Maple: simplifying SDN programming using algorithmic policies
TLDR
We present Maple, a system that simplifies SDN programming by (1) allowing a programmer to use a standard programming language to design an arbitrary, centralized algorithm, which we call an algorithmic policy, to decide the behaviors of an entire network, and (2) providing an abstraction that the programmer-defined, centralized policy runs, conceptually, "afresh" on every packet entering a network. Expand
  • 216
  • 22
  • PDF
Procera: a language for high-level reactive network control
TLDR
We describe Procera, a control architecture for software-defined networking (SDN) that includes a declarative policy language based on the notion of functional reactive programming; we extend this formalism with both signals relevant for expressing high-level network policies in a variety of network settings, including home and enterprise networks. Expand
  • 226
  • 19
  • PDF
Tango: Simplifying SDN Control with Automatic Switch Property Inference, Abstraction, and Optimization
TLDR
We present Tango, a novel framework to explore the issues of understanding and optimization of SDN control, in the presence of switch diversity. Expand
  • 65
  • 6
  • PDF
Scalable software defined network controllers
Software defined networking (SDN) introduces centralized controllers to dramatically increase network programmability. The simplicity of a logical centralized controller, however, can come at theExpand
  • 44
  • 6
Nettle: Taking the Sting Out of Programming Network Routers
TLDR
We describe a language-centric approach to solving the complex, low-level, and error-prone problem of network control in an elegant, declarative style. Expand
  • 117
  • 4
Nettle: Functional Reactive Programming for OpenFlow Networks
TLDR
We propose a language-centric approach to solving the complex, low-level, and error-prone nature of network control. Expand
  • 59
  • 4
  • PDF
Towards a Microscopic Traffic Simulation of All of Switzerland
TLDR
This paper describes the general modules which are necessary for transportation planning simulations, reports the status of an implementation of such a simulation for all of Switzerland, and gives computational performance numbers. Expand
  • 64
  • 4
Scalable software defined network controllers
TLDR
We present McNettle, an extensible SDN control system whose control event processing throughput scales with the number of system CPU cores and which supports control algorithms requiring globally visible state changes occurring at flow arrival rates. Expand
  • 63
  • 3
  • PDF
Large-scale multi-agent transportation simulations
TLDR
In a multi-agent transportation simulation, each traveler is represented individually. Expand
  • 96
  • 3
  • PDF
Mio: a high-performance multicore io manager for GHC
TLDR
We show that the GHC IO manager, which is a crucial component of the GHC RTS, is the scaling bottleneck. Expand
  • 11
  • 2
  • PDF