A compiler and run-time system for network programming languages

ACM SIGPLAN Notices

Volumn 47, Issue 1, 2012, Pages 217-230

  Monsanto, Christopher ^a   Foster, Nate ^b   Harrison, Rob ^c   Walker, David ^a  

^a PRINCETON UNIVERSITY   (United States)

^b Department of Obstetrics Gynecology   (United States)

^c UNITED STATES MILITARY ACADEMY   (United States)

Author keywords

Domain specific languages; Frenetic; Network programming languages; OpenFlow; Software defined Networking

Indexed keywords

DOMAIN SPECIFIC LANGUAGES; FRENETIC; NETWORK PROGRAMMING LANGUAGES; OPENFLOW; SOFTWARE-DEFINED NETWORKING;

ALGORITHMS; FORMAL METHODS; NETWORK ARCHITECTURE; SEMANTICS; TRAFFIC SURVEYS;

PROGRAM COMPILERS;

EID: 84857169654     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2103621.2103685     Document Type: Conference Paper

References (27)

1. Beacon: A java-based OpenFlow control platform., Nov 2010. See http://www.beaconcontroller.net.
2. G. Berry and G. Boudol. The chemical abstract machine. In POPL, pages 81-94, 1990.
3. Z. Cai, A. Cox, and T. Ng. Maestro: A system for scalable OpenFlow control. Technical Report TR10-08, Rice University, Dec 2010.
4. M. Casado, M. Freedman, J. Pettit, J. Luo, N. Gude, N. McKeown, and S. Shenker. Rethinking enterprise network control. Trans. on Networking., 17(4), Aug 2009.
5. M. Chen, X. Li, R. Lian, J. Lin, L. Liu, T. Liu, and R. Ju. Shangrila: Achieving high performance from compiled network applications while enabling ease of programming. In PLDI, Jun 2005.
6. M. Cristea, C. Zissulescu, E. Deprettere, and H. Bos. FPL-3E: Towards language support for reconfigurable packet processing. In SAMOS, pages 201-212, Jul 2005.
7. S. Egorov and G. Savchuk. SNORTRAN: An Optimizing Compiler for Snort Rules. Fidelis Security Systems, 2002.
8. D. Erickson et al. A demonstration of virtual machine mobility in an OpenFlow network, Aug 2008. Demo at ACM SIGCOMM.
9. N. Foster, R. Harrison, M. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker. Frenetic: A network programming language. In ICFP, Sep 2011.
10. A. Greenberg, G. Hjalmtysson, D. Maltz, A. Myers, J. Rexford, G. Xie, H. Yan, J. Zhan, and H. Zhang. A clean slate 4D approach to network control and management. SIGCOMM CCR, 35:41-54, October 2005. (Pubitemid 46323478)
11. N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. NOX: Towards an operating system for networks. SIGCOMM CCR, 38(3), 2008.
12. 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.
13. B. Heller, S. Seetharaman, P. Mahadevan, Y. Yiakoumis, P. Sharma, S. Banerjee, and N. McKeown. ElasticTree: Saving energy in data center networks. In NSDI, Apr 2010.
14. L. Jose, M. Yu, and J. Rexford. Online measurement of large traffic aggregates on commodity switches. In Hot-ICE, Mar 2011.
15. T. Koponen, M. Casado, N. Gude, J. Stribling, L. Poutievski, M. Zhu, R. Ramanathan, Y. Iwata, H. Inoue, T. Hama, and S. Shenker. Onix: A distributed control platform for large-scale production networks. In OSDI, Oct 2010.
16. B. Loo, J. Hellerstein, I. Stoica, and R. Ramakrishnan. Declarative routing: Extensible routing with declarative queries. In SIGCOMM, pages 289-300, 2005. (Pubitemid 46323512)
17. 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, 38(2):69-74, 2008.
18. A. Nayak, A. Reimers, N. Feamster, and R. Clark. Resonance: Dynamic access control in enterprise networks. In WREN, Aug 2009.
19. The Open Networking Foundation, Mar 2011. See http://www. opennetworkingfoundation.org/.
20. OpenFlow, Nov 2010. See http://www.openflowswitch.org.
21. Vern Paxson. Bro: A system for detecting network intruders in realtime. Computer Networks, 31(23-24):2435-2463, Dec 1999.
22. J. Sommers, R. Bowden, B. Eriksson, P. Barford, M. Roughan, and N. Duffield. Efficient network-wide flow record generation. In INFOCOM, pages 2363-2371, 2011.
23. SwitchWare. http://www.cis.upenn.edu/~switchware, 1997.
24. D. Taylor. Survey and taxonomy of packet classification techniques. ACM Comput. Surv., 37:238-275, September 2005. (Pubitemid 43892671)
25. A. Voellmy and P. Hudak. Nettle: Functional reactive programming of OpenFlow networks. In PADL, Jan 2011.
26. R. Wang, D. Butnariu, and J. Rexford. OpenFlow-based server load balancing gone wild. In Hot-ICE, Mar 2011.
27. K. Yap, M. Kobayashi, R. Sherwood, T. Huang, M. Chan, N. Handigol, and N. McKeown. OpenRoads: Empowering research in mobile networks. SIGCOMM CCR, 40(1):125-126, 2010.