Splendid isolation: A slice abstraction for software-defined networks

HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks

Volumn , Issue , 2012, Pages 79-84

  Gutz, Stephen ^a   Story, Alec ^a   Schlesinger, Cole ^b   Foster, Nate ^a  

^a Department of Obstetrics Gynecology   (United States)

^b PRINCETON UNIVERSITY   (United States)

Author keywords

frenetic; isolation; network programming languages; openflow; software defined networking

Indexed keywords

FRENETIC; ISOLATION; NETWORK PROGRAMMING LANGUAGE; OPENFLOW; SOFTWARE-DEFINED NETWORKING;

SEMANTICS;

ABSTRACTING;

EID: 84866485994     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2342441.2342458     Document Type: Conference Paper

References (16)

1. Martín Casado, Teemu Koponen, Rajiv Ramanathan, and Scott Shenker. Virtualizing the network forwarding plane. In Workshop on Programmable Routers for Extensible Services of Tomorrow (PRESTO), Philadelphia, PA, 2010.
2. Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, and Armando Tacchella. NuSMV 2: An opensource tool for symbolic model checking. In International Conference on Computer Aided Verification (CAV), Copenhagen, Denmark, pages 359-364, July 2002.
3. 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 (TOPLAS), 8(2):244-263, 1986.
4. N.C. Fernandes and O.C.M.B. Duarte. XNetMon: A network monitor for securing virtual networks. In International Conference on Communications (ICC), Kyoto Japan, pages 1-5, June 2011.
5. FlowVisor. Bug report, March 2012. See https://openflow.stanford.edu/ bugs/browse/FLOWVISOR-171.
6. Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, and David Walker. Frenetic: A network programming language. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Tokyo, Japan, pages 279-291, September 2011.
7. Peyman Kazemian, George Varghese, and Nick McKeown. Header space analysis: Static checking for networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), San Jose, CA, April 2012.
8. Georgia Kontesidou and Kyriakos Zarifis. OpenFlow virtual networking: A ow-based network virtualization. Master's thesis, KTH Royal Institute of Technology, 2009.
9. Los Alamos National Laboratory. NetworkX, November 2011. Available from http://networkx.lanl.gov.
10. Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, and Samuel Talmadge King. Debugging the data plane with Anteater. In ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), Toronto, Canada, pages 290-301, August 2011.
11. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. Openow: Enabling innovation in campus networks. ACM SIGCOMM Computer Communications Review (CCR), 38(2):69-74, 2008.
12. Christopher Monsanto, Nate Foster, Rob Harrison, and David Walker. A compiler and run-time system for network programming languages. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Philadelphia, PA, pages 217-230, January 2012.
13. Amir Pnueli, Michael Siegel, and Eli Singerman. Translation validation. In International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Lisbon, Portugal, pages 151-166, March 1998.
14. Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. Toward a language for network virtualization. Draft, April 2012.
15. Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, and David Walker. Abstractions for network update. In ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), Helsinki, Finland, August 2012. To appear.
16. Rob Sherwood, Michael Chan, Adam Covington, Glen Gibb, Mario Flajslik, Nikhil Handigol, Te-Yuan Huang, Peyman Kazemian, Masayoshi Kobayashi, Jad Naous, Srinivasan Seetharaman, David Underhill, Tatsuya Yabe, Kok-Kiong Yap, Yiannis Yiakoumis, Hongyi Zeng, Guido Appenzeller, Ramesh Johari, Nick McKeown, and Guru Parulkar. Carving research slices out of your production networks with openow. ACM SIGCOMM Computer Communications Review (CCR), 40(1):129-130, January 2010.