Nate Foster, Michael J. Freedman, Arjun Guha, Rob Harrison, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Mark Reitblatt, Jennifer Rexford, Cole Schlesinger, Alec Story, and David Walker. Languages for software-defined networks. IEEE Communications Magazine, 51(2):128-134, 2013. [ pdf | official version ]
Arjun Guha, Mark Reitblatt, and Nate Foster. Machine-Verified Network Controllers. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Seattle, WA, June 2013. To appear. [ conference version ]
Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. Composing Software Defined Networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), Lombard, IL, April 2013. [ conference version ]
Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, and David Walker. Abstractions for Network Update. In ACM SIGCOMM Conference on Communications Architectures, Protocols and Applications (SIGCOMM) , Helsinki, Finland, pages 323-334, August 2012. [ conference version | slides ]
Christopher Monsanto, Nate Foster, Rob Harrison, and David Walker. A Compiler and Run-time System for Network Programming Languages. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Philadelphia, PA, pages 217-230, January 2012. [ conference version | slides ]
Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, and David Walker. Frenetic: A Network Programming Language. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Tokyo, Japan, September 2011. [ conference version | slides ]
Naga Praveen Katta, Jennifer Rexford, and David Walker. Logic Programming for Software-Defined Networks. In Workshop on Cross-model Language Design and Implementation (XLDI), Copenhagen, Denmark, September 2012. [ conference version | slides ]
Stephen Gutz, Alec Story, Cole Schlesinger, and Nate Foster. Splendid Isolation: A Slice Abstraction for Software-Defined Networks. In ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN) , Helsinki, Finland, pages 79-84, August 2012. [ conference version | slides ]
Nate Foster, Michael J. Freedman, Rob Harrison, Christopher Monsanto, Mark Reitblatt, Jennifer Rexford, Alec Story, and David Walker. Language Abstractions for Software-Defined Networks. In Workshop on Languages for Distributed Algorithms (LADA), Philadelphia, PA, January 2012. [ conference version | slides ]
Mark Reitblatt, Nate Foster, Jennifer Rexford, and David Walker. Consistent Updates for Software-Defined Networks: Change You Can Believe in! In ACM Workshop on ACM Workshop on Hot Topics in Networks (HotNets), Cambridge, MA, November 2011. [ conference version | slides ]
Nate Foster, Rob Harrison, Matthew L. Meola, Michael J. Freedman, Jennifer Rexford, and David Walker. Frenetic: A High-Level Langauge for OpenFlow Networks. In ACM Workshop on Programmable Routers for Extensible Services of Tomorrow (PRESTO), Philadelphia, PA, November 2010. [ conference version | slides ]
Nate Foster, Rob Harrison, Michael J. Freedman, Jennifer Rexford, and David Walker. Frenetic: A High-Level Langauge for OpenFlow Networks. Technical report, Cornell University, December 2010. [ tech report ]
Walter Robert J. Harrison. Frenetic: A Network Programming Language. Master's thesis, Princeton University, May 2011. [ thesis ]