Nettle: Taking the Sting Out of Programming Network Routers

Authors:

Andreas Voellmy, Paul Hudak

Abstract:

We describe a language-centric approach to solving the complex, low-level, and error-prone problem of network control. Specifically, we have designed a domain-specific language called Nettle, embedded in Haskell, that allows programming OpenFlow networks in an elegant, declarative style.  Nettle is based on the principles of functional reactive programming (FRP), and as such has both continuous and discrete abstractions, each of which is leveraged in the design. We have implemented Nettle and tested it on real OpenFlow switches. We demonstrate our methodology by writing several non-trivial OpenFlow controllers.

 

Bibtex:

 @inproceedings{DBLP:conf/padl/VoellmyH11,
  author    = {Andreas Voellmy and
               Paul Hudak},
  title     = {Nettle: Taking the Sting Out of Programming Network Routers},
  booktitle = {PADL},
  year      = {2011},
  pages     = {235-249},
  ee        = {http://dx.doi.org/10.1007/978-3-642-18378-2_19},
  crossref  = {DBLP:conf/padl/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/padl/2011,
  editor    = {Ricardo Rocha and
               John Launchbury},
  title     = {Practical Aspects of Declarative Languages - 13th International
               Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011.
               Proceedings},
  booktitle = {PADL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6539},
  year      = {2011},
  isbn      = {978-3-642-18377-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-18378-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
} 

Links:

NettlePADL2011.pdf