Abstractions for software-defined networks

Communications of the ACM

Volumn 57, Issue 10, 2014, Pages 86-95

  Casado, Martin ^a   Foster, Nate ^b   Guha, Arjun ^c  

^a VMWARE INC   (United States)

^b Department of Obstetrics Gynecology   (United States)

^c UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CLOSED LOOP CONTROL SYSTEMS; COMPUTER PROGRAMMING; NETWORK ARCHITECTURE; SOFTWARE DEFINED NETWORKING; TRAFFIC SURVEYS;

FORWARDING STATE; GLOBAL VISIBILITY; INTERFACE CONTROLLERS; NETWORK ALGORITHMS; NETWORK PROGRAMMING MODEL; SDN CONTROLLERS; TRAFFIC STATISTICS; VERIFICATION TOOLS;

CONTROLLERS;

EID: 84995380088     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/2661061.2661063     Document Type: Review

References (46)

1. Al-Shaer, E. and Al-Haj, S. FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures. In Proceedings of SafeConfig, 2010.
2. 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.
3. 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.
4. 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.
5. Canini, M., Venzano, D., Perešíni, P., Kostić, D. and Rexford, J. A NICE way to test OpenFlow applications. In Proceedings of NDSI, 2012.
6. 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.
7. Casado, M., Koponen, T., Ramanathan, R. and Shenker, S. Virtualizing the network forwarding plane. In Proceedings of PRESTO, 2010.
8. 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.
9. Koponen, T. et al. Network virtualization in multitenant datacenters. In Proceedings of NSDI, 2014.
10. 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.
11. Fortz, B., Rexford, J. and Thorup, M. Traffic engineering with traditional IP routing protocols. IEEE Commun. (Oct. 2002).
12. 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).
13. 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).
14. Guha, A., Reitblatt, M. and Foster, N. Machine-verified network controllers. In Proceedings of PLDI, 2013.
15. Gutz, S., Story, A., Schlesinger, C. and Foster, N. Splendid isolation: A slice abstraction for software-defined networks. In Proceedings of HotSDN, 2012.
16. 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.
17. Heller, B. et al. Leveraging SDN layering to systematically troubleshoot networks. In Proceedings of HotSDN, 2013.
18. 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.
19. Jain, S. et al. B4: Experience with a globally deployed software defined WAN. In Proceedings of SIGCOMM, 2013.
20. Jose, L., Yu, M. and Rexford, J. Online measurement of large traffic aggregates on commodity switches. In Proceedings of HotICE, 2011.
21. Katta, N.P., Rexford, J., and Walker, D. Incremental consistent updates. In Proceedings of HotSDN, 2013.
22. 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.
23. Kazemian, P., Varghese, G. and McKeown, N. Header space analysis: Static checking for networks. In Proceedings of NSDI, 2012.
24. Khurshid, A., Zhou, W., Caesar, M. and Godfrey, B. VeriFlow: Verifying network-wide invariants in real time. In Proceedings of NSDI, 2013.
25. 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.
26. Lakshman, T.V., Nandagopal, T., Ramjee, R., Sabnani, K. and Woo, T. The SoftRouter architecture. In Proceedings of HotNets, 2004.
27. 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.
28. Mahajan, R. and Wattenhofer, R. On consistent updates in software-defined networks. In Proceedings of HotNets, 2013.
29. 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.
30. McGeer, R. A safe, efficient update protocol for OpenFlow networks. In Proceedings of HotSDN, 2012.
31. 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).
32. Monsanto, C., Foster, N., Harrison, R. and Walker, D. A compiler and run-time system for network programming languages. In Proceedings of POPL, 2012.
33. Monsanto, C., Reich, J., Foster, N., Rexford, J. and Walker, D. Composing software defined networks. In Proceedings of NSDI, 2013.
34. Nelson, T., Ferguson, A., Scheer, M., and Krishnamurthi, S. Tierless programming and reasoning for software-defined networks. In Proceedings of NSDI, 2014.
35. Noyes, A., Warszawski, T., Cerny, P. and Foster, N. Toward synthesis of network updates. In Proceedings of SYNT, 2013.
36. Perlman, R. An algorithm for distributed computation of a spanning tree in an extended LAN. SIGCOMM CCR 15, 4 (1985).
37. 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.
38. Reitblatt, M., Canini, M., Foster, N. and Guha, A. Fattire: Declarative fault-tolerance for software-defined networks. In Proceedings of HotSDN, 2013.
39. Reitblatt, M., Foster, N., Rexford, J., Schlesinger, C. and Walker, D. Abstractions for network update. In Proceedings of SIGCOMM, 2012.
40. 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).
41. 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.
42. Sherwood, R. et al. Carving research slices out of your production networks with OpenFlow. SIGCOMM CCR 40, 1 (2010).
43. Voellmy, A., Wang, J., Yang, Y.R., Ford, B. and Hudak, P. Maple: Simplifying SDN programming using algorithmic policies. In Proceedings of SIGCOMM, 2013.
44. Wang, R., Butnariu, D. and Rexford, J. OpenFlow-based server load balancing gone wild. In Proceedings of HotICE, 2011.
45. 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.
46. Zeng, H., Kazemian, P., Varghese, G. and McKeown, N. Automatic test packet generation. In Proceedings of CoNext, 2012.