Abstractions for software-defined networks

New abstractions are critical for achieving SDN goals.

[1]  Nick McKeown,et al.  OpenFlow: enabling innovation in campus networks , 2008, CCRV.

[2]  Martín Casado,et al.  NOX: towards an operating system for networks , 2008, CCRV.

[3]  Marco Canini,et al.  A NICE Way to Test OpenFlow Applications , 2012, NSDI.

[4]  George Varghese,et al.  Usenix Association 10th Usenix Symposium on Networked Systems Design and Implementation (nsdi '13) 99 Real Time Network Policy Checking Using Header Space Analysis , 2022 .

[5]  Mikkel Thorup,et al.  Traffic engineering with traditional IP routing protocols , 2002, IEEE Commun. Mag..

[6]  Nick McKeown,et al.  Leveraging SDN layering to systematically troubleshoot networks , 2013, HotSDN '13.

[7]  Richard Wang,et al.  OpenFlow-Based Server Load Balancing Gone Wild , 2011, Hot-ICE.

[8]  Rick McGeer,et al.  A safe, efficient update protocol for openflow networks , 2012, HotSDN '12.

[9]  Nick Feamster,et al.  Design and implementation of a routing control platform , 2005, NSDI.

[10]  Martín Casado,et al.  Onix: A Distributed Control Platform for Large-scale Production Networks , 2010, OSDI.

[11]  Chen Liang,et al.  Participatory networking: an API for application control of SDNs , 2013, SIGCOMM.

[12]  Cole Schlesinger,et al.  Splendid isolation: a slice abstraction for software-defined networks , 2012, HotSDN '12.

[13]  Michael Schapira,et al.  VeriCon: towards verifying controller programs in software-defined networks , 2014, PLDI.

[14]  Martín Casado,et al.  Network Virtualization in Multi-tenant Datacenters , 2014, NSDI.

[15]  Ehab Al-Shaer,et al.  FlowChecker: configuration analysis and verification of federated openflow infrastructures , 2010, SafeConfig '10.

[16]  Martín Casado,et al.  Virtualizing the network forwarding plane , 2010, PRESTO '10.

[17]  Mabry Tyson,et al.  A security enforcement kernel for OpenFlow networks , 2012, HotSDN '12.

[18]  Nate Foster,et al.  NetKAT: semantic foundations for networks , 2014, POPL.

[19]  Martín Casado,et al.  Ethane: taking control of the enterprise , 2007, SIGCOMM '07.

[20]  T. V. Lakshman,et al.  The SoftRouter Architecture , 2016 .

[21]  Hong Yan,et al.  A clean slate 4D approach to network control and management , 2005, CCRV.

[22]  Albert G. Greenberg,et al.  On static reachability analysis of IP networks , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[23]  Robert Haas.  Forwarding and Control Element Separation (ForCES) MIB , 2010, RFC.

[24]  George Varghese,et al.  Header Space Analysis: Static Checking for Networks , 2012, NSDI.

[25]  Samuel T. King,et al.  Debugging the data plane with anteater , 2011, SIGCOMM 2011.

[26]  Ratul Mahajan,et al.  On consistent updates in software defined networks , 2013, HotNets.

[27]  David Walker,et al.  Abstractions for network update , 2012, SIGCOMM '12.

[28]  Arjun Guha,et al.  Machine-verified network controllers , 2013, PLDI.

[29]  George Varghese,et al.  Automatic Test Packet Generation , 2012, IEEE/ACM Transactions on Networking.

[30]  Rob Sherwood,et al.  Carving research slices out of your production networks with OpenFlow , 2010, CCRV.

[31]  Simon Crosby,et al.  The Tempest: a framework for safe, resource-assured, programmable networks , 1998, IEEE Commun. Mag..

[32]  David Walker,et al.  Composing Software Defined Networks , 2013, NSDI.

[33]  Shriram Krishnamurthi,et al.  Tierless Programming and Reasoning for Software-Defined Networks , 2014, NSDI.

[34]  Pavol Cerný,et al.  Toward Synthesis of Network Updates , 2014, SYNT.

[35]  Min Zhu,et al.  B4: experience with a globally-deployed software defined wan , 2013, SIGCOMM.

[36]  Xin Wu,et al.  zUpdate: updating data center networks with zero loss , 2013, SIGCOMM.

[37]  David Walker,et al.  Incremental consistent updates , 2013, HotSDN '13.

[38]  Paul Hudak,et al.  Maple: simplifying SDN programming using algorithmic policies , 2013, SIGCOMM.

[39]  Brighten Godfrey,et al.  VeriFlow: verifying network-wide invariants in real time , 2012, HotSDN '12.

[40]  Jamal Hadi Salim,et al.  Forwarding and Control Element Separation (ForCES) Forwarding Element Model , 2010, RFC.

[41]  David Walker,et al.  A compiler and run-time system for network programming languages , 2012, POPL '12.

[42]  Marco Canini,et al.  FatTire: declarative fault tolerance for software-defined networks , 2013, HotSDN '13.

[43]  Minlan Yu,et al.  Online Measurement of Large Traffic Aggregates on Commodity Switches , 2011, Hot-ICE.

[44]  Sujata Banerjee,et al.  ElasticTree: Saving Energy in Data Center Networks , 2010, NSDI.

[45]  Srikanth Kandula,et al.  Achieving high utilization with software-driven WAN , 2013, SIGCOMM.

[46]  Radia J. Perlman,et al.  An algorithm for distributed computation of a spanningtree in an extended LAN , 1985, SIGCOMM '85.