Managing the network with Merlin

Proceedings of the 12th ACM Workshop on Hot Topics in Networks, HotNets 2013

Volumn , Issue , 2013, Pages

  Soulé, Robert ^a   Basu, Shrutarshi ^a   Kleinberg, Robert ^a   Sirer, Emin Gün ^a   Foster, Nate ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

Delegation; Merlin; Program partitioning; Software defined networking; Verification

Indexed keywords

DECLARATIVE LANGUAGES; DELEGATION; HIGH-LEVEL ABSTRACTION; MERLIN; NETWORK ADMINISTRATION; NETWORK MANAGEMENT FRAMEWORKS; PROGRAM PARTITIONING; SOFTWARE-DEFINED NETWORKINGS;

COMPUTER PROGRAMMING LANGUAGES; NETWORK MANAGEMENT; PATTERN MATCHING; VERIFICATION;

PROGRAM COMPILERS;

EID: 84893319807     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2535771.2535792     Document Type: Conference Paper

References (40)

1. R. K. Ahuja, T. L. Magnanti, and J. B. Orlin. Network Flows: Theory, Algorithms, and Applications. Prentice-Hall, Inc., 1993.
2. C. J. Anderson, N. Foster, A. Guha, J.-B. Jeannin, D. Kozen, C. Schlesinger, and D. Walker. NetKAT: Semantic foundations for networks. In POPL, 2014. To appear.
3. H. Ballani, P. Costa, T. Karagiannis, and A. Rowstron. Towards Predictable Datacenter Networks. In SIGCOMM, pages 242-253, Aug. 2011.
4. C. Barnhart, C. A. Hane, and P. H. Vance. Using Branch-and-Price-and-Cut to Solve Origin-Destination Integer Multicommodity Flow Problems. Operations Research, 48(2): 318-326, Mar. 2000.
5. D. Bonfiglio, M. Mellia, M. Meo, and D. Rossi. Detailed Analysis of Skype Traffic. TOMM, 11(1): 117-127, Jan. 2009.
6. M. Casado, M. J. Freedman, J. Pettit, J. Luo, N. McKeown, and S. Shenker. Ethane: Taking Control of the Enterprise. In SIGCOMM, pages 1-12, Aug. 2007.
7. M. Casado, T. Koponen, S. Shenker, and A. Tootoonchian. Fabric: A Retrospective on Evolving SDN. In HotSDN, pages 85-90, Aug. 2012.
8. A. Chakrabarti, C. Chekuri, A. Gupta, and A. Kumar. Approximation Algorithms for the Unsplittable Flow Problem. In APPROX, pages 51-66, Sept. 2002.
9. S. Chong, J. Liu, A. C. Myers, X. Qi, K. Vikram, L. Zheng, and X. Zheng. Secure Web Applications via Automatic Partitioning. In SOSP, pages 31-44, Oct. 2007.
10. J. Chuzhoy and S. Li. A Polylogarithmic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2. In FOCS, pages 233-242, Oct. 2012.
11. J. Dean and S. Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. In OSDI, pages 137-150, Dec. 2004.
12. Y. Dinitz, N. Garg, and M. X. Goemans. On the Single-Source Unsplittable Flow Problem. Combinatorica, 19(1): 17-41, Jan. 1999.
13. C. Dixon, H. Uppal, V. Brajkovic, D. Brandon, T. Anderson, and A. Krishnamurthy. ETTM: A Scalable Fault Tolerant Network Manager. In NSDI, pages 7-21, Mar. 2011.
14. M. Dobrescu, N. Egi, K. Argyraki, B.-G. Chun, K. Fall, G. Iannaccone, A. Knies, M. Manesh, and S. Ratnasamy. RouteBricks: Exploiting Parallelism to Scale Software Routers. In SOSP, pages 15-28, Oct. 2009.
15. A. Ferguson, A. Guha, C. Liang, R. Fonseca, and S. Krishnamurthi. Participatory Networking: An API for Application Control of SDNs. In SIGCOMM, pages 327-338, Aug. 2013.
16. N. Foster, A. Guha, et al. The Frenetic Network Controller. In The OCaml Users and Developers Workshop, Sept. 2013.
17. N. Foster, R. Harrison, M. J. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker. Frenetic: A Network Programming Language. In ICFP, pages 279-291, Sept. 2011.
18. A. Gember, P. Prabhu, Z. Ghadiyali, and A. Akella. Toward Software-Defined Middlebox Networking. In HotNets, pages 7-12, Oct. 2012.
19. P. B. Godfrey, I. Ganichev, S. Shenker, and I. Stoica. Pathlet Routing. SIGCOMM CCR, 39(4): 111-122, Aug. 2009.
20. T. Hinrichs, N. Gude, M. Casado, J. Mitchell, and S. Shenker. Practical Declarative Network Management. In WREN, pages 1-10, 2009.
21. J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
22. S. Ioannidis, A. D. Keromytis, S. M. Bellovin, and J.M. Smith. Implementing a Distributed Firewall. In CCS, pages 190-199, Nov. 2000.
23. S. Jain, A. Kumar, S. Mandal, J. Ong, L. Poutievski, A. Singh, S. Venkata, J. Wanderer, J. Zhou, M. Zhu, J. Zolla, U. Hölzle, S. Stuart, and A. Vahdat. B4: Experience with a Globally Deployed Software Defined WAN. In SIGCOMM, pages 3-14, Aug. 2013.
24. V. Jeyakumar, M. Alizadeh, D. Mazières, B. Prabhakar, A. Greenberg, and C. Kim. EyeQ: Practical Network Performance Isolation at the Edge. In NSDI, pages 297-312, Apr. 2013.
25. J. M. Kleinberg. Single-Source Unsplittable Flow. In FOCS, pages 68-77, Oct. 1996.
26. E. Kohler, R. Morris, B. Chen, J. Jannotti, and M.F. Kaashoek. The Click Modular Router. TOCS, 18(3): 263-297, Aug. 2000.
27. S. G. Kolliopoulos and C. Stein. Approximation Algorithms for Single-Source Unsplittable Flow. SIAM J. Comput., 31(3): 919-946, June 2001.
28. J. Liu, M. D. George, K. Vikram, X. Qi, L. Waye, and A.C. Myers. Fabric: A Platform for Secure Sistributed Computation and Storage. In SIGOPS EW, pages 321-334, Oct. 2009.
29. 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, Mar. 2008.
30. C. Monsanto, N. Foster, R. Harrison, and D. Walker. A Compiler and Run-time System for Network Programming Languages. In POPL, pages 217-230, Jan. 2012.
31. C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker. Composing Software-Defined Networks. In NSDI, pages 1-13, Apr. 2013.
32. L. Popa, G. Kumar, M. Chowdhury, A. Krishnamurthy, S. Ratnasamy, and I. Stoica. FairCloud: Sharing the Network in Cloud Computing. In SIGCOMM, pages 187-198, Aug. 2012.
33. Z. A. Qazi, C.-C. Tu, L. Chiang, R. Miao, V. Sekar, and M. Yu. SIMPLE-fying Middlebox Policy Enforcement Using SDN. In SIGCOMM, pages 27-38, Aug. 2013.
34. M. Roesch. Snort-Lightweight Intrusion Detection for Networks. In LISA, pages 229-238, Nov. 1999.
35. V. Sekar, N. Egi, S. Ratnasamy, M. K. Reiter, and G. Shi. Design and Implementation of a Consolidated Middlebox Architecture. In NSDI, pages 24-38, Apr. 2012.
36. J. Sherry, S. Hasan, C. Scott, A. Krishnamurthy, S. Ratnasamy, and V. Sekar. Making Middleboxes Someone Else's Problem: Network Processing as a Cloud Service. In SIGCOMM, pages 13-24, Aug. 2012.
37. A. Shieh, S. Kandula, A. Greenberg, and C. Kim. Seawall: Performance Isolation for Cloud Datacenter Networks. In HotCloud, pages 1-8, June 2010.
38. A. Shieh, S. Kandula, and E. G. Sirer. SideCar: Building Programmable Datacenter Networks Without Programmable Switches. In HotNets, pages 21-27, Oct. 2010.
39. Y. Vigfusson, H. Abu-Libdeh, M. Balakrishnan, K. Birman, R. Burgess, G. Chockler, H. Li, and Y. Tock. Dr. Multicast: Rx for Data Center Communication Scalability. In EuroSys, pages 349-362, Apr. 2010.
40. A. Voellmy, J. Wang, Y. R. Yang, B. Ford, and P. Hudak. Maple: Simplifying SDN Programming Using Algorithmic Policies. In SIGCOMM, pages 87-98, Aug. 2013.