{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:46:34Z","timestamp":1780994794334,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T00:00:00Z","timestamp":1417478400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS-1413972"],"award-info":[{"award-number":["CNS-1413972"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["9550-09-1-0100"],"award-info":[{"award-number":["9550-09-1-0100"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003393","name":"Fujitsu","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003393","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-12-1-0757"],"award-info":[{"award-number":["N00014-12-1-0757"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,12,2]]},"DOI":"10.1145\/2674005.2674989","type":"proceedings-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T16:30:28Z","timestamp":1418056228000},"page":"213-226","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":124,"title":["Merlin"],"prefix":"10.1145","author":[{"given":"Robert","family":"Soul\u00e9","sequence":"first","affiliation":[{"name":"University of Lugano, Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shrutarshi","family":"Basu","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Parisa Jalili","family":"Marandi","sequence":"additional","affiliation":[{"name":"University of Lugano, New York, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Pedone","sequence":"additional","affiliation":[{"name":"University of Lugano, Lugano, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Kleinberg","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emin Gun","family":"Sirer","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nate","family":"Foster","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,12,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Network Flows: Theory, Algorithms, and Applications","author":"Ahuja R. K.","year":"1993","unstructured":"R. K. Ahuja , T. L. Magnanti , and J. B. Orlin . Network Flows: Theory, Algorithms, and Applications . Prentice-Hall, Inc. , 1993 . R. K. Ahuja, T. L. Magnanti, and J. B. Orlin. Network Flows: Theory, Algorithms, and Applications. Prentice-Hall, Inc., 1993."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1402958.1402967"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_1_4_1","unstructured":"Automatic test packet generation. https:\/\/github.com\/eastzone\/atpg.  Automatic test packet generation. https:\/\/github.com\/eastzone\/atpg."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018465"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.48.2.318.12378"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/258533.258646"},{"key":"e_1_3_2_1_8_1","first-page":"335","volume-title":"The Chubby Lock Service for Loosely-coupled Distributed Systems. In Symposium on Operating Systems Design and Implementation","author":"Burrows M.","year":"2006","unstructured":"M. Burrows . The Chubby Lock Service for Loosely-coupled Distributed Systems. In Symposium on Operating Systems Design and Implementation , pages 335 -- 350 , Nov. 2006 . M. Burrows. The Chubby Lock Service for Loosely-coupled Distributed Systems. In Symposium on Operating Systems Design and Implementation, pages 335--350, Nov. 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646689.703115"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294265"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2012.54"},{"key":"e_1_3_2_1_12_1","first-page":"251","volume-title":"Symposium on Operating Systems Design and Implementation","author":"Corbett J. C.","year":"2012","unstructured":"J. C. Corbett , J. Dean , M. Epstein , A. Fikes , C. Frost , J. J. Furman , S. Ghemawat , A. Gubarev , C. Heiser , P. Hochschild , W. Hsieh , S. Kanthak , E. Kogan , H. Li , A. Lloyd , S. Melnik , D. Mwaura , D. Nagle , S. Quinlan , R. Rao , L. Rolig , Y. Saito , M. Szymaniak , C. Taylor , R. Wang , and D. Woodford . Spanner: Google's Globally-distributed Database . In Symposium on Operating Systems Design and Implementation , pages 251 -- 264 , Oct. 2012 . J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost, J. J. Furman, S. Ghemawat, A. Gubarev, C. Heiser, P. Hochschild, W. Hsieh, S. Kanthak, E. Kogan, H. Li, A. Lloyd, S. Melnik, D. Mwaura, D. Nagle, S. Quinlan, R. Rao, L. Rolig, Y. Saito, M. Szymaniak, C. Taylor, R. Wang, and D. Woodford. Spanner: Google's Globally-distributed Database. In Symposium on Operating Systems Design and Implementation, pages 251--264, Oct. 2012."},{"key":"e_1_3_2_1_13_1","first-page":"137","volume-title":"MapReduce: Simplified Data Processing on Large Clusters. In Symposium on Operating Systems Design and Implementation","author":"Dean J.","year":"2004","unstructured":"J. Dean and S. Ghemawat . MapReduce: Simplified Data Processing on Large Clusters. In Symposium on Operating Systems Design and Implementation , pages 137 -- 150 , Dec. 2004 . J. Dean and S. Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. In Symposium on Operating Systems Design and Implementation, pages 137--150, Dec. 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004930050043"},{"key":"e_1_3_2_1_16_1","first-page":"7","volume-title":"ETTM: A Scalable Fault Tolerant Network Manager. In Symposium on Networked Systems Design and Implementation","author":"Dixon C.","year":"2011","unstructured":"C. Dixon , H. Uppal , V. Brajkovic , D. Brandon , T. Anderson , and A. Krishnamurthy . ETTM: A Scalable Fault Tolerant Network Manager. In Symposium on Networked Systems Design and Implementation , pages 7 -- 21 , Mar. 2011 . C. Dixon, H. Uppal, V. Brajkovic, D. Brandon, T. Anderson, and A. Krishnamurthy. ETTM: A Scalable Fault Tolerant Network Manager. In Symposium on Networked Systems Design and Implementation, pages 7--21, Mar. 2011."},{"key":"e_1_3_2_1_17_1","first-page":"533","volume-title":"Enforcing Network-wide Policies in the Presence of Dynamic Middlebox Actions Using Flowtags. In Symposium on Networked Systems Design and Implementation","author":"Fayazbakhsh S. K.","year":"2014","unstructured":"S. K. Fayazbakhsh , L. Chiang , V. Sekar , M. Yu , and J. C. Mogul . Enforcing Network-wide Policies in the Presence of Dynamic Middlebox Actions Using Flowtags. In Symposium on Networked Systems Design and Implementation , pages 533 -- 546 , Apr. 2014 . S. K. Fayazbakhsh, L. Chiang, V. Sekar, M. Yu, and J. C. Mogul. Enforcing Network-wide Policies in the Presence of Dynamic Middlebox Actions Using Flowtags. In Symposium on Networked Systems Design and Implementation, pages 533--546, Apr. 2014."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486003"},{"key":"e_1_3_2_1_19_1","volume-title":"The Frenetic Network Controller. In The OCaml Users and Developers Workshop","author":"Foster N.","year":"2013","unstructured":"N. Foster , A. Guha , The Frenetic Network Controller. In The OCaml Users and Developers Workshop , Sept. 2013 . N. Foster, A. Guha, et al. The Frenetic Network Controller. In The OCaml Users and Developers Workshop, Sept. 2013."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646975.711409"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2390231.2390233"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043559"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594977.1592583"},{"key":"e_1_3_2_1_25_1","unstructured":"Gurobi Optimization Inc. The Gurobi optimizer. http:\/\/www.gurobi.com.  Gurobi Optimization Inc. The Gurobi optimizer. http:\/\/www.gurobi.com."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592683"},{"key":"e_1_3_2_1_27_1","unstructured":"P. Hooimeijer. Dprle decision procedure library. http:\/\/www.cs.virginia.edu\/~ph4u\/dprle\/.  P. Hooimeijer. Dprle decision procedure library. http:\/\/www.cs.virginia.edu\/~ph4u\/dprle\/."},{"key":"e_1_3_2_1_28_1","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J.","year":"1979","unstructured":"J. Hopcroft and J. Ullman . Introduction to Automata Theory, Languages, and Computation . Addison-Wesley , 1979 . J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"e_1_3_2_1_29_1","unstructured":"The Internet Topology Zoo. http:\/\/www.topology-zoo.org.  The Internet Topology Zoo. http:\/\/www.topology-zoo.org."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/352600.353052"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2009.03.013"},{"key":"e_1_3_2_1_33_1","first-page":"297","volume-title":"Symposium on Networked Systems Design and Implementation","author":"Jeyakumar V.","year":"2013","unstructured":"V. Jeyakumar , M. Alizadeh , D. Mazi\u00e8res , B. Prabhakar , A. Greenberg , and C. Kim . EyeQ: Practical Network Performance Isolation at the Edge . In Symposium on Networked Systems Design and Implementation , pages 297 -- 312 , Apr. 2013 . V. Jeyakumar, M. Alizadeh, D. Mazi\u00e8res, B. Prabhakar, A. Greenberg, and C. Kim. EyeQ: Practical Network Performance Isolation at the Edge. In Symposium on Networked Systems Design and Implementation, pages 297--312, Apr. 2013."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1402958.1402966"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535372.2535373"},{"key":"e_1_3_2_1_36_1","first-page":"86","volume-title":"Short Paths in Expander Graphs. In IEEE Symposium on Foundations of Computer Science","author":"Kleinberg J.","year":"1996","unstructured":"J. Kleinberg and R. Rubinfeld . Short Paths in Expander Graphs. In IEEE Symposium on Foundations of Computer Science , pages 86 -- 95 , Oct. 1996 . J. Kleinberg and R. Rubinfeld. Short Paths in Expander Graphs. In IEEE Symposium on Foundations of Computer Science, pages 86--95, Oct. 1996."},{"key":"e_1_3_2_1_37_1","first-page":"68","volume-title":"Single-Source Unsplittable Flow. In IEEE Symposium on Foundations of Computer Science","author":"Kleinberg J. M.","year":"1996","unstructured":"J. M. Kleinberg . Single-Source Unsplittable Flow. In IEEE Symposium on Foundations of Computer Science , pages 68 -- 77 , Oct. 1996 . J. M. Kleinberg. Single-Source Unsplittable Flow. In IEEE Symposium on Foundations of Computer Science, pages 68--77, Oct. 1996."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539799355314"},{"key":"e_1_3_2_1_40_1","first-page":"203","volume-title":"Network Virtualization in Multi-tenant Datacenters. In Symposium on Networked Systems Design and Implementation","author":"Koponen T.","year":"2014","unstructured":"T. Koponen , K. Amidon , P. Balland , M. Casado , A. Chanda , B. Fulton , I. Ganichev , J. Gross , P. Ingram , E. Jackson , A. Lambeth ,\\ R. Lenglet , S.-H. Li , A. Padmanabhan , J. Pettit , B. Pfaff , R. Ramanathan , S. Shenker , A. Shieh , J. Stribling , P. Thakkar , D. Wendlandt , A. Yip , and R. Zhang . Network Virtualization in Multi-tenant Datacenters. In Symposium on Networked Systems Design and Implementation , pages 203 -- 216 , Apr. 2014 . T. Koponen, K. Amidon, P. Balland, M. Casado, A. Chanda, B. Fulton, I. Ganichev, J. Gross, P. Ingram, E. Jackson, A. Lambeth,\\ R. Lenglet, S.-H. Li, A. Padmanabhan, J. Pettit, B. Pfaff, R. Ramanathan, S. Shenker, A. Shieh, J. Stribling, P. Thakkar, D. Wendlandt, A. Yip, and R. Zhang. Network Virtualization in Multi-tenant Datacenters. In Symposium on Networked Systems Design and Implementation, pages 203--216, Apr. 2014."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629606"},{"key":"e_1_3_2_1_44_1","first-page":"527","volume-title":"International Conference on Dependable Systems and Networks","author":"Marandi P.","year":"2010","unstructured":"P. Marandi : A high-throughput atomic broadcast protocol . In International Conference on Dependable Systems and Networks , pages 527 -- 536 , May 2010 . P. Marandi et al. Ring Paxos: A high-throughput atomic broadcast protocol. In International Conference on Dependable Systems and Networks, pages 527--536, May 2010."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_3_2_1_46_1","first-page":"1","volume-title":"Composing Software-Defined Networks. In Symposium on Networked Systems Design and Implementation","author":"Monsanto C.","year":"2013","unstructured":"C. Monsanto Composing Software-Defined Networks. In Symposium on Networked Systems Design and Implementation , pages 1 -- 13 , Apr. 2013 . C. Monsanto et al. Composing Software-Defined Networks. In Symposium on Networked Systems Design and Implementation, pages 1--13, Apr. 2013."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"e_1_3_2_1_50_1","volume-title":"Tierless Programming and Reasoning for Software-Defined Networks. In Symposium on Networked Systems Design and Implementation","author":"Nelson T.","year":"2014","unstructured":"T. Nelson , M. Scheer , A. D. Ferguson , and S. Krishnamurthi . Tierless Programming and Reasoning for Software-Defined Networks. In Symposium on Networked Systems Design and Implementation , Apr. 2014 . T. Nelson, M. Scheer, A. D. Ferguson, and S. Krishnamurthi. Tierless Programming and Reasoning for Software-Defined Networks. In Symposium on Networked Systems Design and Implementation, Apr. 2014."},{"key":"e_1_3_2_1_51_1","unstructured":"NetworkX. https:\/\/networkx.github.io.  NetworkX. https:\/\/networkx.github.io."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0095-8956(81)80012-3"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342396"},{"key":"e_1_3_2_1_54_1","unstructured":"Puppet. http:\/\/puppetlabs.com.  Puppet. http:\/\/puppetlabs.com."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486022"},{"key":"e_1_3_2_1_56_1","first-page":"229","volume-title":"Snort-Lightweight Intrusion Detection for Networks. In Conference on System Administration","author":"Roesch M.","year":"1999","unstructured":"M. Roesch . Snort-Lightweight Intrusion Detection for Networks. In Conference on System Administration , pages 229 -- 238 , Nov. 1999 . M. Roesch. Snort-Lightweight Intrusion Detection for Networks. In Conference on System Administration, pages 229--238, Nov. 1999."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_58_1","first-page":"24","volume-title":"Symposium on Networked Systems Design and Implementation","author":"Sekar V.","year":"2012","unstructured":"V. Sekar , N. Egi , S. Ratnasamy , M. K. Reiter , and G. Shi . Design and Implementation of a Consolidated Middlebox Architecture . In Symposium on Networked Systems Design and Implementation , pages 24 -- 38 , Apr. 2012 . V. Sekar, N. Egi, S. Ratnasamy, M. K. Reiter, and G. Shi. Design and Implementation of a Consolidated Middlebox Architecture. In Symposium on Networked Systems Design and Implementation, pages 24--38, Apr. 2012."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342359"},{"key":"e_1_3_2_1_60_1","first-page":"1","volume-title":"Seawall: Performance Isolation for Cloud Datacenter Networks. In Workshop on Hot Topics in Cloud Computing","author":"Shieh A.","year":"2010","unstructured":"A. Shieh , S. Kandula , A. Greenberg , and C. Kim . Seawall: Performance Isolation for Cloud Datacenter Networks. In Workshop on Hot Topics in Cloud Computing , pages 1 -- 8 , June 2010 . A. Shieh, S. Kandula, A. Greenberg, and C. Kim. Seawall: Performance Isolation for Cloud Datacenter Networks. In Workshop on Hot Topics in Cloud Computing, pages 1--8, June 2010."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043580"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535792"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-006-4900-5"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/762483.762485"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486030"}],"event":{"name":"CoNEXT '14: Conference on emerging Networking Experiments and Technologies","location":"Sydney Australia","acronym":"CoNEXT '14","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2674005.2674989","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2674005.2674989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:17:03Z","timestamp":1750227423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2674005.2674989"}},"subtitle":["A Language for Provisioning Network Resources"],"short-title":[],"issued":{"date-parts":[[2014,12,2]]},"references-count":65,"alternative-id":["10.1145\/2674005.2674989","10.1145\/2674005"],"URL":"https:\/\/doi.org\/10.1145\/2674005.2674989","relation":{},"subject":[],"published":{"date-parts":[[2014,12,2]]},"assertion":[{"value":"2014-12-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}