Frenetic: A network programming language

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2011, Pages 279-291

  Foster, Nate ^a   Harrison, Rob ^b   Freedman, Michael J ^b   Monsanto, Christopher ^b   Rexford, Jennifer ^b   Story, Alec ^a   Walker, David ^b  

^a Department of Obstetrics Gynecology   (United States)

^b PRINCETON UNIVERSITY   (United States)

Author keywords

Domain specific languages; Functional reactive programming; Network programming languages; OpenFlow

Indexed keywords

CODE REUSE; COMBINATOR LIBRARY; DECLARATIVE QUERY LANGUAGES; DOMAIN SPECIFIC LANGUAGES; ERROR PRONES; LANGUAGE DESIGN; LOW LEVEL; MODULAR PROGRAMMING; MODULAR REASONING; NETWORK PROGRAMMING LANGUAGE; NETWORK PROGRAMMING LANGUAGES; NETWORK SWITCHES; NETWORK TRAFFIC; OPENFLOW; REACTIVE PROGRAMMING; RUNTIME SYSTEMS; STATE OF THE ART; TRAFFIC MONITORING;

ACCESS CONTROL; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; PROBLEM ORIENTED LANGUAGES; QUERY LANGUAGES; XML;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 80054087519     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2034773.2034812     Document Type: Conference Paper

References (40)

1. Beacon: A java-based OpenFlow control platform. See http://www. beaconcontroller.net, Nov 2010.
2. The Frenetic language. See http://www.frenetic-lang.org/, Nov 2010.
3. OpenFlow. See http://www.openflowswitch.org, Nov 2010.
4. SNAC. See http://snacsource.org/, 2010.
5. Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive functional programming. TOPLAS, 28:990-1034, November 2006.
6. Arvind Arasu, Shivanth Babu, and Jennifer Widom. The CQL continuous query language: Semantic foundations and query execution. The VLDB Journal, 15:121-142, Jun 2006.
7. Gérard Berry and Georges Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, (2):87-152, 1992.
8. Zheng Cai, Alan L. Cox, and T. S. Eugene Ng. Maestro: A system for scalable OpenFlow control. Technical Report TR10-08, Rice University, Dec 2010.
9. Martin Casado, Michael J. Freedman, Justin Pettit, Jianying Luo, Natasha Gude, Nick McKeown, and Scott Shenker. Rethinking enterprise network control. Trans. on Networking., 17(4), Aug 2009.
10. Michael K. Chen, Xiao Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu, and Roy Ju. Shangri-la: Achieving high performance from compiled network applications while enabling ease of programming. In PLDI, pages 224-236, Jun 2005.
11. Gregory H. Cooper and Shriram Krishnamurthi. Embedding dynamic dataflow in a call-by-value language. In ESOP, pages 294-308, 2006.
12. Antony Courtney, Henrik Nilsson, and John Peterson. The Yampa arcade. In Haskell Workshop, pages 7-18, Aug 2003.
13. Chuck Cranor, Theodore Johnson, Oliver Spataschek, and Vladislav Shkapenyuk. Gigascope: A stream database for network applications. In SIGMOD, pages 647-651, 2003.
14. Mihai Lucian Cristea, Claudiu Zissulescu, Ed Deprettere, and Herbert Bos. FPL-3E: Towards language support for reconfigurable packet processing. In SAMOS, pages 201-212. Jul 2005.
15. Mihai Dobrescu, Norbert Egi, Katerina Argyraki, Byung-Gon Chun, Kevin Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, and Sylvia Ratnasamy. RouteBricks: Exploiting parallelism to scale software routers. In SOSP, Oct 2009.
16. Sergei Egorov and Gene Savchuk. SNORTRAN: An Optimizing Compiler for Snort Rules. Fidelis Security Systems, 2002.
17. Conal Elliott and Paul Hudak. Functional reactive animation. In ICFP, pages 163-173, Jun 1997.
18. David Erickson et al. A demonstration of virtual machine mobility in an OpenFlow network, Aug 2008. Demo at ACM SIGCOMM.
19. Nate Foster, Rob Harrison, Matthew L. Meola, Michael J. Freedman, Jennifer Rexford, and David Walker. Frenetic: A high-level langauge for OpenFlow networks. In PRESTO, Nov 2010.
20. Natasha Gude, Teemu Koponen, Justin Pettit, Ben Pfaff, Martín Casado, Nick McKeown, and Scott Shenker. NOX: Towards an operating system for networks. SIGCOMM CCR, 38(3), 2008.
21. Nikhil Handigol, Srinivasan Seetharaman, Mario Flajslik, Nick McKeown, and Ramesh Johari. Plug-n-Serve: Load-balancing web traffic using OpenFlow, Aug 2009. Demo at ACM SIGCOMM.
22. Brandon Heller, Srini Seetharaman, Priya Mahadevan, Yiannis Yiakoumis, Puneet Sharma, Sujata Banerjee, and Nick McKeown. Elastic-Tree: Saving energy in data center networks. In NSDI, Apr 2010.
23. Timothy L. Hinrichs, Natasha S. Gude, Martin Casado, John C. Mitchell, and Scott Shenker. Practical declarative network management. In WREN, pages 1-10, 2009.
24. Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, and M. Frans Kaashoek. The Click modular router. ACM Transactions on Computer Systems, 18(3):263-297, Aug 2000.
25. Teemu Koponen, Martin Casado, Natasha Gude, Jeremy Stribling, Leon Poutievski, Min Zhu, Rajiv Ramanathan, Yuichiro Iwata, Hiroaki Inoue, Takayuki Hama, and Scott Shenker. Onix: A distributed control platform for large-scale production networks. In OSDI, Oct 2010.
26. Bob Lantz, Brandon Heller, and Nick McKeown. A network in a laptop: Rapid prototyping for software-defined networks. In HotNets, pages 1-6, 2010.
27. Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, and Ion Stoica. Implementing declarative overlays. SIGOPS, 39(5):75-90, 2005.
28. Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, and Raghu Ramakrishnan. Declarative routing: Extensible routing with declarative queries. In SIGCOMM, pages 289-300, 2005.
29. Geoffrey Mainland, Greg Morrisett, and Matt Welsh. Flask: Staged functional programming for sensor networks. In ICFP, pages 335-346, 2008.
30. John Markoff. Open networking foundation pursues new standards. The New York Times, Mar 2011. See http://nyti.ms/eK3CCK.
31. Nick McKeown, Tom Anderson, Hari Balakrishnan, Guru Parulkar, Larry Peterson, Jennifer Rexford, Scott Shenker, and Jonathan Turner. Openflow: Enabling innovation in campus networks. SIGCOMM CCR, 38(2):69-74, 2008.
32. Leo A. Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, and Shriram Krishnamurthi. Flapjax: A programming language for Ajax applications. In OOPSLA, pages 1-20, 2009.
33. Ankur Nayak, Alex Reimers, Nick Feamster, and Russ Clark. Resonance: Dynamic access control in enterprise networks. In WREN, Aug 2009.
34. Henrik Nilsson, Antony Courtney, and John Peterson. Functional reactive programming, continued. In Haskell Workshop, pages 51-64, Oct 2002.
35. Vern Paxson. Bro: A system for detecting network intruders in realtime. Computer Networks, 31(23-24):2435-2463, Dec 1999.
36. John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. In PADL, Jan 1999.
37. Robert Soulé, Martin Hirzel, Robert Grimm, Buǧra Gedik, Henrique Andrade, Vibhore Kumar, and Kun-LungWu. A universal calculus for stream processing languages. In ESOP, pages 507-528, 2010.
38. William Thies, Michal Karczmarek, and Saman Amarasinghe. Streamit: A language for streaming applications. In International Conference on Compiler Construction, pages 179-196, Apr 2002.
39. Andreas Voellmy and Paul Hudak. Nettle: Functional reactive programming of OpenFlow networks. In PADL, Jan 2011.
40. Richard Wang, Dana Butnariu, and Jennifer Rexford. OpenFlowbased server load balancing gone wild. In Hot-ICE, Mar 2011.