Tierless programming and reasoning for software-defined networks

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014

Volumn , Issue , 2014, Pages 519-531

  Nelson, Tim ^a   Ferguson, Andrew D ^a   Scheer, Michael J G ^a   Krishnamurthi, Shriram ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONTROLLERS; SOFTWARE DEFINED NETWORKING; SYSTEMS ANALYSIS;

CONTROL PLANES; CONTROLLER STATE; EXPRESSIVE POWER; NETWORK CONFIGURATION; PROGRAM CORRECTNESS; RULE-BASED LANGUAGE; TOPOLOGY-INDEPENDENT; VERIFICATION TOOLS;

PROGRAM DEBUGGING;

EID: 85065122571     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. ABITEBOUL, S., HULL, R., AND VIANU, V. Foundations of Databases. Addison-Wesley, 1995.
2. AL-SHAER, E., AND AL-HAJ, S. FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures. In Workshop on Assurable and Usable Security Configuration (2010).
3. ALVARO, P., MARCZAK, W. R., CONWAY, N., HELLERSTEIN, J. M., MAIER, D., AND SEARS, R. Dedalus: Datalog in time and space. In Datalog Reloaded 2010 (2010), pp. 262–281.
4. CANINI, M., VENZANO, D., PEREŠÍNI, P., KOSTIĆ, D., AND REXFORD, J. A NICE way to test OpenFlow applications. In Networked Systems Design and Implementation (2012).
5. FOSTER, N., HARRISON, R., FREEDMAN, M. J., MONSANTO, C., REXFORD, J., STORY, A., AND WALKER, D. Frenetic: A network programming language. In International Conference on Functional Programming (ICFP) (2011).
6. GUDE, N., KOPONEN, T., PETTIT, J., PFAFF, B., CASADO, M., MCKEOWN, N., AND SHENKER, S. NOX: Towards an operating system for networks. ACM Computer Communication Review 38, 3 (July 2008), 105–110.
7. GUHA, A., REITBLATT, M., AND FOSTER, N. Machine-verified network controllers. In Programming Language Design and Implementation (PLDI) (2013).
8. GUTZ, S., STORY, A., SCHLESINGER, C., AND FOSTER, N. Splendid isolation: A slice abstraction for software-defined networks. In Workshop on Hot Topics in Software Defined Networking (2012).
9. HINRICHS, T., GUDE, N., CASADO, M., MITCHELL, J., AND SHENKER, S. Practical declarative network management. In Workshop: Research on Enterprise Networking (WREN) (2009).
10. JACKSON, D. Software Abstractions: Logic, Language, and Analysis. The MIT Press, April 2006.
11. KATTA, N. P., REXFORD, J., AND WALKER, D. Logic programming for software-defined networks. In Workshop on Cross-Model Design and Validation (XLDI) (2012).
12. KAZEMIAN, P., VARGHESE, G., AND MCKEOWN, N. Header space analysis: Static checking for networks. In Networked Systems Design and Implementation (2012).
13. KHURSHID, A., ZHOU, W., CAESAR, M., AND GODFREY, P. B. VeriFlow: Verifying network-wide invariants in real time. In Workshop on Hot Topics in Software Defined Networking (2012).
14. KOPONEN, T., AMIDON, K., BALLAND, P., CASADO, M., CHANDA, A., FULTON, B., GANICHEV, I., GROSS, J., GUDE, N., INGRAM, P., JACKSON, E., LAMBETH, A., LENGLET, R., LI, S.-H., PADMANABHAN, A., PETTIT, J., PFAFF, B., RAMANATHAN, R., SHENKER, S., SHIEH, A., STRIBLING, J., THAKKAR, P., WENDLANDT, D., YIP, A., AND ZHANG, R. Network Virtualization in Multi-tenant Datacenters. In Networked Systems Design and Implementation (2014).
15. 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 Operating Systems Design and Implementation (2010).
16. LANTZ, B., HELLER, B., AND MCKEOWN, N. A network in a laptop: Rapid prototyping for software-defined networks. In Workshop on Hot Topics in Networks (2010).
17. LOO, B. T., CONDIE, T., GAROFALAKIS, M. N., GAY, D. E., HELLERSTEIN, J. M., MANIATIS, P., RAMAKRISHNAN, R., ROSCOE, T., AND STOICA, I. Declarative networking. Communications of the ACM 52, 11 (2009), 87–95.
18. LOO, B. T., CONDIE, T., HELLERSTEIN, J. M., MANIATIS, P., ROSCOE, T., AND STOICA, I. Implementing declarative overlays. In Symposium on Operating Systems Principles (2005).
19. MAI, H., KHURSHID, A., AGARWAL, R., CAESAR, M., GODFREY, P. B., AND KING, S. T. Debugging the data plane with Anteater. In Conference on Communications Architectures, Protocols and Applications (SIGCOMM) (2011).
20. MCKEOWN, N., ANDERSON, T., BALAKRISHNAN, H., PARULKAR, G., PETERSON, L., REXFORD, J., SHENKER, S., AND TURNER, J. OpenFlow: Enabling innovation in campus networks. ACM Computer Communication Review 38, 2 (Mar. 2008), 69–74.
21. MONSANTO, C., FOSTER, N., HARRISON, R., AND WALKER, D. A compiler and run-time system for network programming languages. In Principles of Programming Languages (POPL) (2012).
22. MONSANTO, C., REICH, J., FOSTER, N., REXFORD, J., AND WALKER, D. Composing software-defined networks. In Networked Systems Design and Implementation (2013).
23. NELSON, T., DOUGHERTY, D. J., FISLER, K., AND KRISHNAMURTHI, S. Toward a more complete Alloy. In International Conference on Abstract State Machines, Alloy, B, and Z (2012).
24. NELSON, T., GUHA, A., DOUGHERTY, D. J., FISLER, K., AND KRISHNAMURTHI, S. A balance of power: Expressive, analyzable controller programming. In Workshop on Hot Topics in Software Defined Networking (2013).
25. PORRAS, P., SHIN, S., YEGNESWARAN, V., FONG, M., TYSON, M., AND GU, G. A security enforcement kernel for OpenFlow networks. In Workshop on Hot Topics in Software Defined Networking (2012).
26. REITBLATT, M., FOSTER, N., REXFORD, J., SCHLESINGER, C., AND WALKER, D. Abstractions for network update. In Conference on Communications Architectures, Protocols and Applications (SIGCOMM) (2012).
27. ROGERS, C. M. ANQL - an active networks query language. In International Working Conference on Active Networks (2002).
28. SAGONAS, K., SWIFT, T., AND WARREN, D. S. XSB as an efficient deductive database engine. In International Conference on the Management of Data (1994).
29. SKOWYRA, R., LAPETS, A., BESTAVROS, A., AND KFOURY, A. Verifiably-safe software-defined networks for CPS. In High Confidence Networked Systems (HiCons) (2013).
30. TENNENHOUSE, D. L., SMITH, J. M., SINCOSKIE, W. D., WETHERALL, D. J., AND MINDEN, G. J. A survey of active network research. IEEE Communications Magazine (1997).
31. VOELLMY, A., KIM, H., AND FEAMSTER, N. Procera: A language for high-level reactive network control. In Workshop on Hot Topics in Software Defined Networking (2012).
32. VOELLMY, A., WANG, J., YANG, Y. R., FORD, B., AND HU-DAK, P. Maple: Simplifying SDN Programming Using Algorithmic Policies. In Conference on Communications Architectures, Protocols and Applications (SIGCOMM) (2013).
33. WANG, A., BASU, P., LOO, B. T., AND SOKOLSKY, O. Declarative network verification. In Practical Aspects of Declarative Languages (2009).
34. XIE, G. G., ZHAN, J., MALTZ, D. A., ZHANG, H., GREEN-BERG, A., HJALMTYSSON, G., AND REXFORD, J. On static reachability analysis of IP networks. In IEEE Conference on Computer Communications (2005).