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
