{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:48:51Z","timestamp":1760028531516,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T00:00:00Z","timestamp":1533081600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1145\/3232565.3234462","type":"proceedings-article","created":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T13:18:10Z","timestamp":1531747090000},"page":"65-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards Example-Guided Network Synthesis"],"prefix":"10.1145","author":[{"given":"Haoxian","family":"Chen","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Anduo","family":"Wang","sequence":"additional","affiliation":[{"name":"Temple University"}]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]}],"member":"320","published-online":{"date-parts":[[2018,8]]},"reference":[{"volume-title":"Constraint-Based Synthesis of Datalog Programs. In International Conference on Principles and Practice of Constraint Programming.","year":"2017","author":"Albarghouthi Aws","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934910"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790449.2790516"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Ahmed El-Hassany Petar Tsankov Laurent Vanbever and Martin Vechev. 2018. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In NSDI. USENIX Association. https:\/\/www.usenix.org\/conference\/nsdi18\/presentation\/el-hassany  Ahmed El-Hassany Petar Tsankov Laurent Vanbever and Martin Vechev. 2018. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In NSDI. USENIX Association. https:\/\/www.usenix.org\/conference\/nsdi18\/presentation\/el-hassany","DOI":"10.1007\/978-3-319-63390-9_14"},{"volume-title":"Workshop on Cross-Model Design and Validation (XLDI).","year":"2012","author":"Katta Naga Praveen","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"volume":"201","journal-title":"Russell J Clark.","author":"Kim Hyojoon","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","unstructured":"Teemu Koponen Keith Amidon Peter Balland Mart\u00edn Casado Anupam Chanda Bryan Fulton Igor Ganichev Jesse Gross Paul Ingram Ethan J Jackson etal 2014. Network Virtualization in Multi-tenant Datacenters.. In NSDI.   Teemu Koponen Keith Amidon Peter Balland Mart\u00edn Casado Anupam Chanda Bryan Fulton Igor Ganichev Jesse Gross Paul Ingram Ethan J Jackson et al. 2014. Network Virtualization in Multi-tenant Datacenters.. In NSDI."},{"key":"e_1_3_2_1_11_1","unstructured":"Boon Thau Loo Tyson Condie Minos Garofalakis David E Gay Joseph M Hellerstein Petros Maniatis Raghu Ramakrishnan Timothy Roscoe and Ion Stoica. 2009. Declarative networking. Commun. ACM (2009).  Boon Thau Loo Tyson Condie Minos Garofalakis David E Gay Joseph M Hellerstein Petros Maniatis Raghu Ramakrishnan Timothy Roscoe and Ion Stoica. 2009. Declarative networking. Commun. ACM (2009)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095809.1095818"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_3_2_1_14_1","unstructured":"Christopher Monsanto Joshua Reich Nate Foster Jennifer Rexford David Walker etal 2013. Composing Software Defined Networks.. In NSDI.   Christopher Monsanto Joshua Reich Nate Foster Jennifer Rexford David Walker et al. 2013. Composing Software Defined Networks.. In NSDI."},{"key":"e_1_3_2_1_15_1","unstructured":"Tim Nelson Andrew D Ferguson Michael JG Scheer and Shriram Krishnamurthi. 2014. Tierless Programming and Reasoning for Software-Defined Networks.. In NSDI.   Tim Nelson Andrew D Ferguson Michael JG Scheer and Shriram Krishnamurthi. 2014. Tierless Programming and Reasoning for Software-Defined Networks.. In NSDI."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787506"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022699322624"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"e_1_3_2_1_19_1","unstructured":"Leonid Ryzhyk Nikolaj Bj\u00f8rner Marco Canini Jean-Baptiste Jeannin Cole Schlesinger Douglas B Terry and George Varghese. 2017. Correct by Construction Networks Using Stepwise Refinement.. In NSDI.   Leonid Ryzhyk Nikolaj Bj\u00f8rner Marco Canini Jean-Baptiste Jeannin Cole Schlesinger Douglas B Terry and George Varghese. 2017. Correct by Construction Networks Using Stepwise Refinement.. In NSDI."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Burr Settles. 2012. Active learning. Synthesis Lectures on Artificial Intelligence and Machine Learning (2012).   Burr Settles. 2012. Active learning. Synthesis Lectures on Artificial Intelligence and Machine Learning (2012).","DOI":"10.1007\/978-3-031-01560-1"},{"key":"e_1_3_2_1_21_1","unstructured":"Michael Sipser. 2006. Introduction to the Theory of Computation. Vol. 2. Thomson Course Technology Boston.  Michael Sipser. 2006. Introduction to the Theory of Computation. Vol. 2. Thomson Course Technology Boston."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834050.2834112"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836119"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735510"}],"event":{"name":"APNet '18: 2nd Asia-Pacific Workshop on Networking","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","Tsinghua University TsingHua University Philips Research"],"location":"Beijing China","acronym":"APNet '18"},"container-title":["Proceedings of the 2nd Asia-Pacific Workshop on Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3232565.3234462","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3232565.3234462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:42Z","timestamp":1750210782000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3232565.3234462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":24,"alternative-id":["10.1145\/3232565.3234462","10.1145\/3232565"],"URL":"https:\/\/doi.org\/10.1145\/3232565.3234462","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]},"assertion":[{"value":"2018-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}