SDN Building Blocks

building blocks  SDN Building Blocks

General Design

Fabric: A Retrospective on Evolving SDN, Martìn Casado, Teemu Koponen, Scott Shenker, Amin Tootoonchian, HotSDN 2012

The Scaling Implications of SDN, Martìn Casado

On the Scalability of Software-Defined Networking, Soheil Hassas Yaganeh, Amin Tootoonchian, Yashar Ganjali, IEEE Communications Magazine Feb 2013

A Highly Available Software Defined Fabric, Aditya Akella, Arvind Krishnamurthy, HotNets 2014

Software-Defined Networking: A Comprehensive Survey, Diego Kreutz, Fernando M.V. Ramos, Paulo Esteves Veríssimo, Christian Esteve Rothenberg, Siamak Azodolmolky, Steve Uhlig, IEEE 2015

Control plane

NOX: Towards an Operating System for Networks, Natasha Gude, Teemu Koponen, Justin Pettit, Ben Pfaff, Martìn Casado, Nick McKeown, Scott Shenker, CCR 2008

Can the Production Network Be the Testbed?, Rob Sherwood, Glen Gibb, Kok-Kiong Yap, Guido Appenzeller, Martìn Casado, Nick McKeown, Guru Parulkar, OSDI 2010

Onix: A Distributed Control Platform for Large-scale Production Networks, Teemu Koponen et al, OSDI 2010

The Beacon OpenFlow Controller, David Erickson, HotSDN 2013

Maestro: A System for Scalable OpenFlow Control, Zheng Cai, Alan L. Cox, T.S. Eugene Ng, 2011

The Controller Placement Problem, Brandon Heller, Rob Sherwood, Nick McKeown, HotSDN 2012

HyperFlow: A Distributed Control Plane for OpenFlow, Amin Tootoonchian, Yashar Ganjali, INM 2010

Exploiting Locality in Distributed SDN Control, Stefan Schmid, Jukka Suomela, HotSDN 2013

Kandoo: A Framework for Efficient and Scalable Offloading of Control Applications, Soheil Hassas Yeganeh, Yashar Ganjali, HotSDN 2012

Applying Operating System Principles to SDN Controller Design, Matthew Monaco, Oliver Michel, Eric Keller, HotNets 2013

Software Transactional Networking: Concurrent and Consistent Policy Composition, Marco Canini, Petr Kuznetsov, Dan Levin, Stefan Schmid, HotSDN 2013

The Case for Reliable Software Transactional Networking, Marco Canini, Petr Kuznetsov, Dan Levin, Stefan Schmid, 2013

Beehive: Towards a Simple Abstraction for Scalable Software-defined Networks, Soheil Hassas Yeganeh, Yashar Ganjali, HotNets 2014

Tolerating SDN Application Failures with Lego SDN, Balakrishnan Chadrasekaran, Theophilus Benson, HotNets 2014

Scotch: Elastically Scaling up SDN Control-Plane usingvSwitch based Overlay, An Wang, Yang Guo, Fang Hao, T.V. Lakshman, Songqing Chen, CoNext 2014

ONOS: Towards An Open Distributed SDN OS, Pankaj Berde, Matteo Gerola, Jonathan Hart, Yuta Higuchi, Masayoshi Kobayashi, Toshio Koide, Bob Lantz, Brian O’Connor, Pavlin Radoslavov, William Snow, Guru Parulukar, HotSDN 2014

A Network State Management Service, Peng Sun, Ratul Mahajan, Jennifer Rexford, Lihua YuanMing Zhang, Ahsan Arefin, Sigcomm 2014

CoVisor: A Compositional Hypervisor for Software-Defined Networks, Xin Jin, Jennifer Gossels, Jennifer Rexford, David Walker, NSDI 2015

Towards Secure and Dependable Software-defined Networks, Diego Kreutz, Fernando M.V. Ramos, Paulo Veríssimo, HotSDN 2013

Data plane

Blueswitch: Enabling provably consistent configuration of network switches, Han J.H., Mundkur P., Rotsos C., Antichi G., Dave N., Moore A.W., Neumann P.G., ACM/IEEE ANCS 2015

DevoFlow: Scaling Flow Management for High-performance Networks, Andrew R. Curtis, Jeffrey C. Mogul, Jean Tourrilhes, Praveen Yalagandula, Puneet Sharma, Sujata Banerjee, Sigcomm 2011

Scalable Flow-based Networking with DIFANE, Minlan Yu, Jennifer Rexford, Michael J. Freedman, Jia Wang, Sigcomm 2010

Using CPU as a Traffic Co-processing Unit in Commodity Switches, Guohan Lu, Rui Miao, Yongqiang Xiong, Chuanxiong Guo, HotSDN 2012

Hey, You Darned Counters! Get off My ASIC!, Jeffrey C. Mogul, Paul Congdon, HotSDN 2012

Forwarding Metamorphosis: Fast Programmable Match-Action Processing in Hardware for SDN, Pat Bosshart, Glen Gibb, Hun-Seok Kim, George Varghese, Nick McKeown, Martin Izzard, Fernando Mujica, Mark Horowitz, Sigcomm 2013

No Silver Bullet: Extending SDN to the Data Plane, Anirudh Sivaraman, Keith Weinstein, Suvinay Subramanian, Hari Balakrishnan, HotNets 2013

Reclaiming the Brain: Useful OpenFlow Functions in the Data Plane, Liron Schiff, Michael Borokhovich, Stefan Schmid, HotNets 2014

Application-aware Data Plane Processing in SDN, Hesham Mekky, Fang Hao, Sarit Mukherjee, Zhi-Li Zhang, T.V. Lakshman, HotSDN 2014

Shadow MACs: Scalable Label Switching for Commodity Ethernet, Kanak Agarwal, Colin Dixon, Eric Rozner, John Carter, HotSDN 2014

CAB: A Reactive Wildcard Rule Caching System for Software-Defined Networks, Bo Yan, Yang Xu, Hongya Xing, Kang Xi, H. Jonathan Chao, HotSDN 2014

An Adaptable Rule Placement for Software-defined Networks, Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik, DSN 2014

Compiling Packet Programs to Reconfigurable Switches, Lavanya Jose, Lisa Yan, George Varghese, Nick McKeown, NSDI 2015

The Design and Implementation of Open vSwitch, Ben Pfaff et al., NSDI 2015

CacheFlow: Dependency-aware rule-caching for software-defined networks, in Symposium on SDN Research, Naga Katta, Omid Alipourfard, Jennifer Rexford, and David Walker, SOSR March 2016

PISCES: A programmable, protocol-independent software switch” Muhammad Shahbaz, Sean Choi, Ben Pfaff, Changhoon Kim, Nick Feamster, Nick McKeown, Jennifer Rexford, ACM SIGCOMM, August 2016 .

Hybrid networks

Panopticon: Reaping the Benefits of Partial SDN Deployment in Enterprise Networks, Dan Levin, Marco Canini, Stefan Schmid, Fabian Schaffert, Anja Feldmann, USENIX ATC 2014

HybNET: Network Manager for A Hybrid Network Infrastructure, Hui Lu, Nipun Arora, Hui Zhang, Cristian Lumezanu, Junghwan Rhee, Guofei Jiang, Middleware (industrial track) 2013

ClosedFlow: OpenFlow-like Control over ProprietaryDevices, Ryan Hand, Eric Keller, HotSDN 2014

Telekinesis: Controlling Legacy Switch Routing with OpenFlow in Hybrid Networks, Cheng Jin, Cristian Lumezanu, Qiang Xu, Zhi-Li Zhang, Guofei Jiang, SOSR 2015.

Programming

Languages for Software-Defined Networks, Nate Foster et al, IEEE Communication Magazine Feb 2013

Frenetic: A Network Programming Language, Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker, ICFP 2011

Composing Software-Defined Networks, Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker, NSDI 2013

Participatory Networking: An API for Application Control of SDNs, Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi, Sigcomm 2013

A Compiler and Run-time System for Network Programming Languages, Christopher Monsanto, Nate Foster, Rob Harrison, David Walker, POPL 2012

Machine-Verified Network Controllers, Arjun Guha, Mark Reitblatt, Nate Foster, PLDI 2013

Nettle: Functional Reactive Programming of OpenFlow Networks, Andreas Voellmy and Paul Hudak, PADL 2011

Procera: A Language for High-Level Reactive Network Control, Andreas Voellmy, Hyojoon Kim, Nick Feamster, HotSDN 2012

FatTire: Declarative Fault Tolerance for Software-defined Networks, Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster, HotSDN 2013

A Balance of Power: Expressive, Analyzable Controller Programming, Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi, HotSDN 2013

Hierarchical Policies for Software Defined Networks, Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi, HotSDN 2012

Splendid Isolation: A Slice Abstraction for Software-Defined Networks, Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster, HotSDN 2012

CAP for Networks, Aurojit Panda, Colin Scott, Ali Ghodsi, Teemu Koponen, Scott Shenker, HotSDN 2013

Corybantic: Towards the Modular Composition of SDN Control Programs, Jeffrey C. Mogul, Alvin AuYoung, Sujata Banerjee, Lucian Popa, Jeongkeun Lee, Jayaram Mudigonda, Puneet Sharma, Yoshio Turner, HotNets 2013

NetEgg: Programming Network Policies by Examples, Yifei Yuan, Rajeev Alur, Boon Thau Loo, HotNets 2014

Tango: Simplifying SDN Control with Automatic SwitchProperty Inference, Abstraction, and Optimization, Aggelos Lazaris, Daniel Tahara, Xin Huang, Li Erran Li, Andreas Voellmy, Y. Richard Yang, Minlan Yu, CoNext 2014

Merlin: A Language for Provisioning Network Resources, Robert Soulé, Shrutarashi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster, CoNext 2014

Democratic Resolution of Resource Conflicts BetweenSDN Control Programs, Alvin AuYoung, Yadi Ma, Sujata Banerjee, Jeongkeun Lee, Puneet Sharma, Yoshio Turner, Chen Liang, Jeffrey C. Mogul, CoNext 2014

Kinetic: Verifyable Dynamic Network Control, Hyojoon Kim, Joshua Reich, Arpit Gupta, Muhammad Shahbaz, Nick Feamster, Russ Clark, NSDI 2015

PGA: Using Graphs to Express and Automatically Reconcile Network Policies, Chaithan Prakash, Jeongkeun Lee, Yoshio Turner, Joon-Myung Kang, Aditya Akella, Sujata Banerjee, Charles Clark, Yadi Ma, Puneet Sharma, Ying Zhang, Sigcomm 2015

SNAP: Stateful network-wide abstractions for packet processing, Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, and David Walker, ACM SIGCOMM, August 2016.

Event-Driven Network Programming, Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerny, PLDI 2016

Updates

Abstractions for Network Update, Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker, Sigcomm 2012

Update: Updating Data Center Networks with Zero Loss, Hongqiang Harry Liu, Xin Wu, Ming Zhang, Lihua Yuan, Roger Wattenhofer, David A. Maltz, Sigcomm 2013

Walk the Line: Consistent Network Updates with Bandwidth Guarantees, Soudeh Ghorbani, Matthew Caesar, HotSDN 2012

A Safe, Efficient Update Protocol for OpenFlow Networks, Rick McGreer, HotSDN 2012

Incremental Consistent Updates, Naga Praveen Katta, Jennifer Rexford, David Walker, HotSDN 2013

OF.CPP: Consistent Packet Processing for OpenFlow, Peter Perešíni, Maciej Kuźniar, Nedeljko Vasić, Marco Canini, Dejan Kostić, HotSDN 2013

HotSwap: Correct and Efficient Controller Upgrades for Software-Defined Networks, Laurent Vanbever, Joshua Reich, Theophilus Benson, Nate Foster, Jennifer Rexford, HotSDN 2013

On Consistent Updates in Software Defined Networks, Ratul Mahajan, Roger Wattenhofer, HotNets 2013

Dynamic Scheduling of Network Updates, Xin Jin, Hongqiang Harry Liu, Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, Roger Wattenhofer, Sigcomm 2014

Good Network Updates for Bad Packets, Arne Ludwig, Matthias Rost, Damien Foucard, Stefan Schmid, HotNets 2014

Providing Reliable FIB Update Acknowledgments in SDN, Maciej Kuźniar, Peter Perešíni, Dejan Kostić, CoNext 2014

Incremental Update for a Compositional SDN Hypervisor, Xin Jin, Jennifer Rexford, David Walker, HotSDN 2014

Compiling Minimum Incremental Update for Modular SDN Languages, Xitao Wen, Chunxiao Diao, Xun Zhao, Yan Chen, Li Erran Li, Bo Yang, Kai Bu, HotSDN 2014

Enforcing Customizable Consistency Properties in Software-Defined Networks, Wenxuan Zhou, Dong Jin, Jason Croft, Matthew Caesar, P. Brighten Godfrey, NSDI 2014

Efficient Synthesis of Network Updates, Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, Nate Foster, PLDI 2015

Survey of Consistent Network Updates, Klaus-Tycho Foerster, Stefan Schmid, and Stefano Vissicchio.
ArXiv Technical Report, September 2016

Software defined networks: It’s about time, Tal Mizrahi and Yoram Moses, IEEE INFOCOM 2016

Emulation and Simulation

A Network in a Laptop: Rapid Prototyping for Software-Defined Networks, Bob Lantz, Brandon Heller, Nick McKeown, HotNets 2010 
http://conferences.sigcomm.org/co-next/2012/eproceedings/conext/p253.pdf

Fast, Accurate Simulation for SDN Prototyping, Mukta Gupta, Joel Sommers, Paul Barford, HotSDN 2013

High-Fidelity Switch Models for Software-Defined Network Emulation, Danny Yuxing Huang, Kenneth Yocum, Alex C. Snoeren, HotSDN 2013

Verification

Veriflow: Verifying Network-Wide Invariants in Real Time, Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, P. Brighten Godfrey, NSDI 2013

Header Space Analysis: Static Checking for Networks, Peyman Kazemian, George Varghese, Nick McKeown, NSDI 2012

Real Time Network Policy Checking using Header Space Analysis, Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, Scott Whyte, NSDI 2013

A NICE Way to Test OpenFlow Applications, Marco Canini, Daniele Venzano, Peter Perešini, Dejan Kostić, Jennifer Rexford, NSDI 2012

A SOFT Way for OpenFlow Interoperability Testing, Maciej Kuźniar, Peter Perešíni, Marco Canini, Daniele Venzano, Dejan Kostić, CoNEXT 2012

FlowChecker: Configuration, Analysis, and Verification of Federated OpenFlow Infrastructures, Ehab Al-Shaer, Saeed Al-Haj, SafeConfig 2010

Towards A Verifiable Software Dataplane, Mihai Dobrescu, Katerina Argyraki, HotNets 2013

An Assertion Language for Debugging SDN Applications, Ryan Beckett, X. Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker, HotSDN 2014

Towards Correct Network Verification, Soudeh Ghorbani, Brighten Godfrey, HotSDN 2014

Testing

Enabling Performance Evaluation Beyond 10Gbps, Gianni Antichi, Charalampos Rotsos, Andrew W. Moore ACM, SIGCOMM 2015 Demo

Leveraging SDN Layering to Systematically Troubleshoot Networks, Brandon Heller et al, HotSDN 2013

Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences, Colin Scott et al., Sigcomm 2014

OFRewind: Enabling Record and Replay Troubleshooting for Networks, Andreas Wundsam, Dan Levin, Srini Seetharaman, Anja Feldman, Usenix ATC 2011

Where Is the Debugger for My Software-Defined Network?, Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazières, Nick McKeown, HotSDN 2012

OFLOPS: An Open Framework for OpenFlow Switch Evaluation, Charalampos Rotsos, Nadi Sarrar, Steve Uhlig, Rob Sherwood, Andrew W. Moore, PAM 2012

Logically Centralized? State Distribution Trade-offs in Software Defined Networks, Dan Levin, Andreas Wundsam, Brandon Heller, Nikhil Handigol, Anja Feldman, HotSDN 2012

On Controller Performance in Software-Defined Networks, Amin Tootoonchian, Sergey Gorbunov, Yashar Ganjali, Martìn Casado, Rob Sherwood, Hot-ICE 2012

Answering Why-Not Queries in Software-defined Networks with Negative Provenance, Yang Wu, Andreas Haeberlen, Wenchao Zhou, Boon Thau Loo, HotNets 2013

Controller-agnostic SDN Debugging, Ramakrishnan Durairajan, Joel Sommers, Paul Barford, CoNext 2014

What You Need to Know About SDN Flow Tables, Maciej Kuźniar, Peter Perešíni, Dejan Kostić, PAM 2015