{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:46:42Z","timestamp":1780994802462,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,17]],"date-time":"2015-06-17T00:00:00Z","timestamp":1434499200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1138994"],"award-info":[{"award-number":["1138994"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,17]]},"DOI":"10.1145\/2774993.2775006","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T18:43:54Z","timestamp":1434134634000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["NetGen"],"prefix":"10.1145","author":[{"given":"Shambwaditya","family":"Saha","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Santhosh","family":"Prabhu","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Madhusudan","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Abrams R. Target Puts Data Breach Costs at $148 Million and Forecasts Profit Drop. http:\/\/tinyurl.com\/l36payc August 2014.  Abrams R. Target Puts Data Breach Costs at $148 Million and Forecasts Profit Drop. http:\/\/tinyurl.com\/l36payc August 2014."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240166.2240177"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_4_1","first-page":"15","volume-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation","author":"Khurshid A.","year":"2013","unstructured":"Khurshid , A. , Zou , X. , Zhou , W. , Caesar , M. , and Godfrey , P. B . Veriflow: Verifying network-wide invariants in real time . In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation ( 2013 ), pp. 15 -- 28 . Khurshid, A., Zou, X., Zhou, W., Caesar, M., and Godfrey, P. B. Veriflow: Verifying network-wide invariants in real time. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (2013), pp. 15--28."},{"key":"e_1_3_2_1_5_1","volume-title":"Efficient synthesis of network updates. CoRR abs\/1403.5843","author":"McClurg J.","year":"2014","unstructured":"McClurg , J. , Foster , N. , and Cern\u00fd , P . Efficient synthesis of network updates. CoRR abs\/1403.5843 ( 2014 ). McClurg, J., Foster, N., and Cern\u00fd, P. Efficient synthesis of network updates. CoRR abs\/1403.5843 (2014)."},{"key":"e_1_3_2_1_6_1","first-page":"1","volume-title":"Composing Software-defined Networks. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation","author":"Monsanto C.","year":"2013","unstructured":"Monsanto , C. , Reich , J. , Foster , N. , Rexford , J. , and Walker , D . Composing Software-defined Networks. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation ( 2013 ), pp. 1 -- 14 . Monsanto, C., Reich, J., Foster, N., Rexford, J., and Walker, D. Composing Software-defined Networks. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (2013), pp. 1--14."},{"key":"e_1_3_2_1_7_1","first-page":"15","volume-title":"Proceedings of the 19th Conference on Large Installation System Administration Conference -","volume":"19","author":"Narain S.","year":"2005","unstructured":"Narain , S. Network Configuration Management via Model Finding . In Proceedings of the 19th Conference on Large Installation System Administration Conference - Volume 19 ( 2005 ), pp. 15 -- 15 . Narain, S. Network Configuration Management via Model Finding. In Proceedings of the 19th Conference on Large Installation System Administration Conference - Volume 19 (2005), pp. 15--15."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620736"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2614628.2614632"},{"key":"e_1_3_2_1_10_1","unstructured":"Rainone C. Time warner cable says outage largely resolved. http:\/\/tinyurl.com\/m6y4qul August 2014.  Rainone C. Time warner cable says outage largely resolved. http:\/\/tinyurl.com\/m6y4qul August 2014."},{"key":"e_1_3_2_1_11_1","volume-title":"Modular SDN Programming with Pyretic. USENIX","author":"Reich J.","year":"2013","unstructured":"Reich , J. , Monsanto , C. , Foster , N. , Rexford , J. , and Walker , D . Modular SDN Programming with Pyretic. USENIX ; login 38, 5 ( October 2013 ). Reich, J., Monsanto, C., Foster, N., Rexford, J., and Walker, D. Modular SDN Programming with Pyretic. USENIX; login 38, 5 (October 2013)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491187"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535792"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/633025.633039"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670518.2673879"},{"key":"e_1_3_2_1_18_1","first-page":"73","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","author":"Zhou W.","year":"2015","unstructured":"Zhou , W. , Jin , D. , Croft , J. , Caesar , M. , and Godfrey , P. B . Enforcing customizable consistency properties in software-defined networks . In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15) ( May 2015 ), pp. 73 -- 85 . Zhou, W., Jin, D., Croft, J., Caesar, M., and Godfrey, P. B. Enforcing customizable consistency properties in software-defined networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15) (May 2015), pp. 73--85."}],"event":{"name":"SOSR 2015: ACM SIGCOMM Symposium on SDN Research","location":"Santa Clara California","acronym":"SOSR 2015","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication","ONS Open Networking Summit","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2774993.2775006","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2774993.2775006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:56:05Z","timestamp":1750272965000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2774993.2775006"}},"subtitle":["synthesizing data-plane configurations for network policies"],"short-title":[],"issued":{"date-parts":[[2015,6,17]]},"references-count":18,"alternative-id":["10.1145\/2774993.2775006","10.1145\/2774993"],"URL":"https:\/\/doi.org\/10.1145\/2774993.2775006","relation":{},"subject":[],"published":{"date-parts":[[2015,6,17]]},"assertion":[{"value":"2015-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}