{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T04:57:27Z","timestamp":1781326647819,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CNS-1909450"],"award-info":[{"award-number":["CNS-1909450"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,23]]},"DOI":"10.1145\/3472716.3472848","type":"proceedings-article","created":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T22:19:02Z","timestamp":1629325142000},"page":"62-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Sarasate"],"prefix":"10.1145","author":[{"given":"Bin","family":"Gui","sequence":"first","affiliation":[{"name":"Temple University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fangping","family":"Lan","sequence":"additional","affiliation":[{"name":"Temple University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anduo","family":"Wang","sequence":"additional","affiliation":[{"name":"Temple University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Foundations of Databases: The Logical Level","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul, R. Hull, and V. Vianu, editors. Foundations of Databases: The Logical Level. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1st edition, 1995.","edition":"1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/38713.38724"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_1_5_1","first-page":"984","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Birkner R.","year":"2020","unstructured":"R. Birkner, D. Drachsler-Cohen, L. Vanbever, and M. Vechev. Config2spec: Mining network specifications from network configurations. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), pages 969–984, Santa Clara, CA, Feb. 2020. USENIX Association."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670518.2673872"},{"key":"e_1_3_2_1_8_1","first-page":"46","volume-title":"HotNets","author":"Feamster N.","year":"2004","unstructured":"N. Feamster, H. Balakrishnan, and J. Rexford. Some foundational problems in interdomain routing. In In HotNets, 2004. (Cited on, pages 41–46, 2004."},{"key":"e_1_3_2_1_9_1","volume-title":"Controlling the impact of bgp policy changes on ip traffic","author":"Feamster N.","year":"2001","unstructured":"N. Feamster, J. Borkenhagen, and J. Rexford. Controlling the impact of bgp policy changes on ip traffic, 2001."},{"issue":"2","key":"e_1_3_2_1_10_1","first-page":"134","volume":"51","author":"Foster N.","year":"2013","unstructured":"N. Foster, A. Guha, M. Reitblatt, A. Story, M. J. Freedman, N. P. Katta, C. Monsanto, J. Reich, J. Rexford, C. Schlesinger, D. Walker, and R. Harrison. Languages for software-defined networks. IEEE Communications Magazine, 51(2):128–134, 2013.","journal-title":"Languages for software-defined networks. IEEE Communications Magazine"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2000.832222"},{"key":"e_1_3_2_1_13_1","first-page":"7665","author":"Halpern J. M.","year":"2015","unstructured":"J. M. Halpern and C. Pignataro. Service Function Chaining (SFC) Architecture. RFC 7665, 2015.","journal-title":"Service Function Chaining (SFC) Architecture. RFC"},{"issue":"4","key":"e_1_3_2_1_14_1","first-page":"791","volume":"31","author":"Imieliundefinedski T.","year":"1984","unstructured":"T. Imieliundefinedski and W. Lipski. Incomplete information in relational databases. J. ACM, 31(4):761–791, Sept. 1984.","journal-title":"Incomplete information in relational databases. J. ACM"},{"key":"e_1_3_2_1_15_1","first-page":"101","volume-title":"Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation, NSDI'15","author":"Jin X.","year":"2015","unstructured":"X. Jin, J. Gossels, J. Rexford, and D. Walker. Covisor: A compositional hypervisor for software-defined networks. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation, NSDI'15, pages 87–101, Berkeley, CA, USA, 2015. USENIX Association."},{"key":"e_1_3_2_1_16_1","first-page":"72","volume-title":"Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation, NSDI'15","author":"Kim H.","year":"2015","unstructured":"H. Kim, J. Reich, A. Gupta, M. Shahbaz, N. Feamster, and R. Clark. Kinetic: Verifiable dynamic network control. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation, NSDI'15, pages 59–72, Berkeley, CA, USA, 2015. USENIX Association."},{"key":"e_1_3_2_1_17_1","volume-title":"NSDI","author":"Mahajan R.","year":"2005","unstructured":"R. Mahajan, D. Wetherall, and T. Anderson. Negotiation-based routing between neighboring isps. In NSDI, 2005."},{"key":"e_1_3_2_1_18_1","volume-title":"NSDI","author":"Mahajan R.","year":"2007","unstructured":"R. Mahajan, D. Wetherall, and T. Anderson. Mutually controlled routing with independent ISPs. In NSDI, 2007."},{"issue":"2","key":"e_1_3_2_1_19_1","first-page":"74","volume":"38","author":"McKeown N.","year":"2008","unstructured":"N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. Openflow: Enabling innovation in campus networks. SIGCOMM Comput. Commun. Rev., 38(2):69–74, Mar. 2008.","journal-title":"Openflow: Enabling innovation in campus networks. SIGCOMM Comput. Commun. Rev."},{"key":"e_1_3_2_1_20_1","first-page":"14","volume-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi'13","author":"Monsanto C.","year":"2013","unstructured":"C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker. Composing software-defined networks. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi'13, pages 1–14, Berkeley, CA, USA, 2013. USENIX Association."},{"key":"e_1_3_2_1_21_1","unstructured":"PostgreSQL: The World's Most Advanced Open Source Relational Database. https:\/\/www.postgresql.org\/."},{"key":"e_1_3_2_1_22_1","volume-title":"SIGCOMM '15","author":"Prakash C.","unstructured":"C. Prakash, J. Lee, Y. Turner, J.-M. Kang, A. Akella, S. Banerjee, C. Clark, Y. Ma, P. Sharma, and Y. Zhang. Pga: Using graphs to express and automatically reconcile network policies. In SIGCOMM '15."},{"key":"e_1_3_2_1_23_1","volume-title":"October","author":"Reich J.","year":"2013","unstructured":"J. Reich, C. Monsanto, N. Foster, J. Rexford, and D. Walker. Modular SDN Programming with Pyretic. USENIX ;login, 38(5), October 2013."},{"key":"e_1_3_2_1_24_1","first-page":"4271","volume":"4","author":"Rekhter Y.","year":"2006","unstructured":"Y. Rekhter, T. Li, and S. Hares. A Border Gateway Protocol 4 (BGP-4). RFC 4271, RFC Editor, 2006.","journal-title":"A Border Gateway Protocol"},{"key":"e_1_3_2_1_25_1","unstructured":"R. Views. Route views. http:\/\/www.routeviews.org\/routeviews\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425952"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159913.1159934"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098830"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425936"}],"event":{"name":"SIGCOMM '21: ACM SIGCOMM 2021 Conference","location":"Virtual Event","acronym":"SIGCOMM '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the SIGCOMM '21 Poster and Demo Sessions"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472716.3472848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3472716.3472848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T04:33:55Z","timestamp":1781325235000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472716.3472848"}},"subtitle":["a strong representation system for networking policies"],"short-title":[],"issued":{"date-parts":[[2021,8,23]]},"references-count":29,"alternative-id":["10.1145\/3472716.3472848","10.1145\/3472716"],"URL":"https:\/\/doi.org\/10.1145\/3472716.3472848","relation":{},"subject":[],"published":{"date-parts":[[2021,8,23]]},"assertion":[{"value":"2021-08-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}