Martin Casado
Nate Foster
Arjun Guha
- Al-Shaer, E. and Al-Haj, S. FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures. In Proceedings of SafeConfig, 2010. Google Scholar
Digital Library
- Anderson, C.J., Foster, N. Guha, A., Jeannin, J-B, Kozen, D., Schlesinger, C. and Walker, D. NetKAT: Semantic foundations for networks. In Proceedings of POPL, 2014. Google ScholarDigital Library
- Ball, T., Bjørner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M. and Valadarsky, A. VeriCon: Towards verifying controller programs in software-defined networks. In Proceedings of PLDI, 2014. Google ScholarDigital Library
- Caesar, M., Caldwell, D.F., Feamster, N., Rexford, J., Shaikh, A. and van der Merwe, J.E. Design and implementation of a routing control platform. In Proceedings of NSDI, 2005. Google ScholarDigital Library
- Canini, M., Venzano, D., Perešíni, P., Kostić, D. and Rexford, J. A NICE way to test OpenFlow applications. In Proceedings of NDSI, 2012. Google ScholarDigital Library
- Casado, M., Freedman, M.J. Pettit, J., Luo, J., McKeown, N. and Shenker, S. Ethane: Taking control of the enterprise. In Proceedings of SIGCOMM, 2007. Google ScholarDigital Library
- Casado, M., Koponen, T., Ramanathan, R. and Shenker, S. Virtualizing the network forwarding plane. In Proceedings of PRESTO, 2010. Google ScholarDigital Library
- Doria, A., Hadi Salim, J., Haas, R., Khosravi, H., Wang, W. Dong, L., Gopal, R. and Halpern, J. Forwarding and control element separation (ForCES), 2010. IETF RFC 5810.Google Scholar
- Koponen, T. et al. Network virtualization in multi-tenant datacenters. In Proceedings of NSDI, 2014. Google ScholarDigital Library
- Ferguson, A.D., Guha, A., Liang, C., Fonseca, R. and Krishnamurthi, S. Participatory Networking: An API for application control of SDNs. In Proceedings of SIGCOMM, 2013. Google ScholarDigital Library
- Fortz, B., Rexford, J. and Thorup, M. Traffic engineering with traditional IP routing protocols. IEEE Commun. (Oct. 2002). Google ScholarDigital Library
- Greenberg, A.G., Hjálmtýsson, G., Maltz, D.A., Myers, A., Rexford, J., Xie, G.G., Yan, H., Zhan, J. and Zhang, H. A clean slate 4D approach to network control and management. SIGCOMM CCR 35, 5 (2005). Google ScholarDigital Library
- Gude, N., Koponen, T., Pettit, J., Pfaff, B., Casado, M., McKeown, N. and Shenker, S. NOX: Towards an operating system for networks. ACM SIGCOMM CCR 38, 3 (2008). Google ScholarDigital Library
- Guha, A., Reitblatt, M. and Foster, N. Machine-verified network controllers. In Proceedings of PLDI, 2013. Google ScholarDigital Library
- Gutz, S., Story, A., Schlesinger, C. and Foster, N. Splendid isolation: A slice abstraction for software-defined networks. In Proceedings of HotSDN, 2012. Google ScholarDigital Library
- Heller, B., Seetharaman, S., Mahadevan, P., Yiakoumis, Y., Sharma, P., Banerjee, S. and McKeown, N. ElasticTree: Saving energy in datacenter networks. In Proceedings of NSDI, 2010. Google ScholarDigital Library
- Heller, B. et al. Leveraging SDN layering to systematically troubleshoot networks. In Proceedings of HotSDN, 2013. Google ScholarDigital Library
- Hong, C-Y, Kandula, S., Mahajan, R., Zhang, M., Gill, V., Nanduri, M. and Wattenhofer, R. Achieving high utilization with software-driven WAN. In Proceedings of SIGCOMM, 2013. Google ScholarDigital Library
- Jain, S. et al. B4: Experience with a globally deployed software defined WAN. In Proceedings of SIGCOMM, 2013. Google ScholarDigital Library
- Jose, L., Yu, M. and Rexford, J. Online measurement of large traffic aggregates on commodity switches. In Proceedings of HotICE, 2011. Google ScholarDigital Library
- Katta, N.P., Rexford, J., and Walker, D. Incremental consistent updates. In Proceedings of HotSDN, 2013. Google ScholarDigital Library
- Kazemian, P., Chang, M., Zeng, H., Varghese, G., McKeown, N. and Whyte, S. Real-time network policy checking using Header Space Analysis. In Proceedings of NSDI, 2013. Google ScholarDigital Library
- Kazemian, P., Varghese, G. and McKeown, N. Header space analysis: Static checking for networks. In Proceedings of NSDI, 2012. Google ScholarDigital Library
- Khurshid, A., Zhou, W., Caesar, M. and Godfrey, B. VeriFlow: Verifying network-wide invariants in real time. In Proceedings of NSDI, 2013. Google ScholarDigital Library
- Koponen, T., Casado, M., Gude, N., Stribling, J., Poutievski, L., Zhu, M., Ramanathan, R., Iwata, Y., Inoue, H., Hama, T. and Shenker, S. Onix: A distributed control platform for large-scale production networks. In Proceedings of OSDI, 2010. Google ScholarDigital Library
- Lakshman, T.V., Nandagopal, T., Ramjee, R., Sabnani, K. and Woo, T. The SoftRouter architecture. In Proceedings of HotNets, 2004.Google Scholar
- Liu, H.H., Wu, X., Zhang, M., Yuan, L., Wattenhofer, R. and Maltz, D. zUpdate: Updating datacenter networks with zero loss. In Proceedings of SIGCOMM, 2013. Google ScholarDigital Library
- Mahajan, R. and Wattenhofer, R. On consistent updates in software-defined networks. In Proceedings of HotNets, 2013. Google ScholarDigital Library
- Mai, H., Khurshid, A., Agarwal, R., Caesar, M., Godfrey, B. and King, S.T. Debugging the data plane with Anteater. In Proceedings of SICOMM, 2011. Google ScholarDigital Library
- McGeer, R. A safe, efficient update protocol for OpenFlow networks. In Proceedings of HotSDN, 2012. Google ScholarDigital Library
- McKeown, N., Anderson, T., Balakrishnan, H., Parulkar, G., Peterson, L., Rexford, J., Shenker, S. and Turner, J. OpenFlow: Enabling innovation in campus networks. SIGCOMM CCR 38, 2 (2008). Google ScholarDigital Library
- Monsanto, C., Foster, N., Harrison, R. and Walker, D. A compiler and run-time system for network programming languages. In Proceedings of POPL, 2012. Google ScholarDigital Library
- Monsanto, C., Reich, J., Foster, N., Rexford, J. and Walker, D. Composing software defined networks. In Proceedings of NSDI, 2013. Google ScholarDigital Library
- Nelson, T., Ferguson, A., Scheer, M., and Krishnamurthi, S. Tierless programming and reasoning for software-defined networks. In Proceedings of NSDI, 2014. Google ScholarDigital Library
- Noyes, A., Warszawski, T., Cerny, P. and Foster, N. Toward synthesis of network updates. In Proceedings of SYNT, 2013.Google Scholar
- Perlman, R. An algorithm for distributed computation of a spanning tree in an extended LAN. SIGCOMM CCR 15, 4 (1985). Google ScholarDigital Library
- Porras, P., Shin, S., Yegneswaran, V., Fong, M., Tyson, M. and Gu, G. A security enforcement kernel for OpenFlow networks. In Proceedings of HotSDN, 2012. Google ScholarDigital Library
- Reitblatt, M., Canini, M., Foster, N. and Guha, A. Fattire: Declarative fault-tolerance for software-defined networks. In Proceedings of HotSDN, 2013. Google ScholarDigital Library
- Reitblatt, M., Foster, N., Rexford, J., Schlesinger, C. and Walker, D. Abstractions for network update. In Proceedings of SIGCOMM, 2012. Google ScholarDigital Library
- Rooney, S., van der Merwe, J.E., Crosby, S.A. and Leslie, I.M. The Tempest: A framework for safe, resource assured, programmable networks. IEEE Commun. 36, 10 (1998). Google ScholarDigital Library
- Shenker, S., Casado, M., Koponen, T. and McKeown, N. The future of networking and the past of protocols. Invited talk at Open Networking Summit, Oct. 2011.Google Scholar
- Sherwood, R. et al. Carving research slices out of your production networks with OpenFlow. SIGCOMM CCR 40, 1 (2010). Google ScholarDigital Library
- Voellmy, A., Wang, J., Yang, Y.R., Ford, B. and Hudak, P. Maple: Simplifying SDN programming using algorithmic policies. In Proceedings of SIGCOMM, 2013. Google ScholarDigital Library
- Wang, R., Butnariu, D. and Rexford, J. OpenFlow-based server load balancing gone wild. In Proceedings of HotICE, 2011. Google ScholarDigital Library
- Xie, G.G., Zhan, J., Maltz, D.A., Zhang, H., Greenberg, A.G., Hjálmtýsson, G. and Rexford, J. On static reachability analysis of IP networks. In Proceedings of INFOCOM, 2005.Google ScholarCross Ref
- Zeng, H., Kazemian, P., Varghese, G. and McKeown, N. Automatic test packet generation. In Proceedings of CoNext, 2012. Google ScholarDigital Library
Index Terms
- Abstractions for software-defined networks
Recommendations
Programming Abstractions for Software-Defined Wireless Networks
Software-Defined Networking (SDN) has received, in the last years, significant interest from the academic and the industrial communities alike. The decoupled control and data planes found in an SDN allows for logically centralized intelligence in the ...
Comments