Abstractions for network update

Computer Communication Review

Volumn 42, Issue 4, 2012, Pages 323-334

  Reitblatt, Mark ^a   Foster, Nate ^a   Rexford, Jennifer ^a   Schlesinger, Cole ^a   Walker, David ^a  

^a NONE

Author keywords

Consistency; Network programming languages. frenetic; Open flow; Planned change; Software defined networking

Indexed keywords

EID: 84894520570     PISSN: 01464833     EISSN: 19435819     Source Type: Conference Proceeding    
DOI: 10.1145/2377677.2377748     Document Type: Conference Paper

References (24)

1. P. Francois and O. Bonaventure, "Avoiding transient loops during the convergence of link-state routing protocols, " IEEE/ACM Trans, on Networking, Dec 2007.
2. P. Francois, P.-A. Coste, B. Decraene, and O. Bonaventure, "Avoiding disruptions during maintenance operations on BGP sessions, " IEEE Trans, on Network and Service Management, Dec 2007.
3. S. Raza, Y. Zhu, and C.-N. Chuah, "Graceful network state migrations, " IEEE/ACM Trans, on Networking, vol. 19, Aug 2011.
4. D. Erickson et al., "A demonstration of virtual machine mobility in an Open Flow network, " Aug 2008. Demo at ACM SIGCOMM.
5. L. Vanbever., S. Vissicchio, C. Pelsser, P. Francois, and O. Bonaventure, "Seamless network-wide IGP migration, " in ACM SIGCOMM, Aug 2011.
6. N. Handigol, S. Seetharaman, M. Flajslik, N. McKeown, and R. Johari, "Plug-n-Serve: Load-balancing web traffic using OpenFlow." Aug 2009. Demo at ACM SIGCOMM.
7. R. Wang, D. Butnariu, and J. Rexford, "OpenFlow-based server load balancing gone wild, " in Hot-ICE, Mar 2011.
8. P. Francois, M. Shand, and O. Bonaventure, "Disruption-free topology reconfiguration in OSPF networks, " in IEEE INFOCOM, May 2007.
9. J. P. John, E. Katz-Bassett., A. Krishnamurthy, T. Anderson, and A. Venkataramani, "Consensus routing: The Internet as a distributed system, " in NSDI, Apr 2008.
10. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker. and J. Turner, "Openflow: Enabling innovation in campus networks, " SIGCOMM CCR, vol. 38, no. 2, pp. 69-74, 2008.
11. M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford, "A NICE way to test OpenFlow applications, " in NSDI, Apr 2012.
12. Y. Bertot and P. Casteran, "Interactive theorem proving and program development: Coq'Art the calculus of inductive constructions, " in EATCS Texts in Theoretical Computer Science, Springer-Verlag, 2004.
13. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri. R. Sebastiani, and A. Tacchella, "NuSMV 2: An opensource tool for symbolic model checking, " pp. 359-364, Springer, 2002.
14. P. Kazemian, G. Varghese, and N. McKeown, "Header space analysis: Static checking for networks, " in NSDI, Apr 2012.
15. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications, " ACM Transactions on Programming Languages and Systems, vol. 8, pp. 244-263, 1986.
16. B. M. Waxman, "Broadband switching, " Routing of Multipoint Connections, pp. 347-352, IEEE Computer Society Press, 1991.
17. J. Mogul, J. Tourrilhes, P. Yalagandula, P. Sharma, A. Curtis, and S. Banerjee, "DevoFlow: Scaling flow management for high-performance networks, " in ACM SIGCOMM, Aug 2011.
18. N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker, "NOX: Towards an operating system for networks." SIGCOMM CCR, vol. 38, no. 3, 2008.
19. B. Lantz, B. Heller, and N. McKeown, "A network in a laptop: Rapid prototyping for software-defined networks, " in HotNets, Oct 2010.
20. M. Reitblatt, N. Foster, J. Rexford, and D. Walker, "Consistent updates for software-defined networks: Change you can believe in!, " in HotNets, Nov 2011.
21. D. Katabi, N. Kushman, and J. Wrocklawski, "A Consistency Management Layer for Inter-Domain Routing, " Tech. Rep. MIT-CSAIL-TR-2006-006, Cambridge, MA, Jan 2006.
22. S. Ajmani, B. Liskov, and L. Shrira, "Modular software upgrades for distributed systems, " in Proceedings of the 20th European conference on Object-Oriented Programming, ECOOP'06, (Berlin, Heidelberg), pp. 452-476, Springer-Verlag, 2006.
23. C. C. Zhang, M. Winslett, and C. A. Gunter, "On the safety and efficiency of firewall policy deployment, " in IEEE Symp. on Security and Privacy, 2007.
24. N. Feamsterand, H. Balakrishnan, "Detecting BGP configuration faults with static analysis, " in NSDI. May 2005.