{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T04:57:28Z","timestamp":1781326648723,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":12,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,23]]},"DOI":"10.1145\/3472716.3472843","type":"proceedings-article","created":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T22:19:02Z","timestamp":1629325142000},"page":"4-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Non-interoperability detection for routing protocol implementations"],"prefix":"10.1145","author":[{"given":"Xi","family":"Jiang","sequence":"first","affiliation":[{"name":"Colgate University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aaron","family":"Gember-Jacobson","sequence":"additional","affiliation":[{"name":"Colgate University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. The BIRD Internet Routing Daemon Project. https:\/\/bird.network.cz."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. FRRouting Protocols. https:\/\/frrouting.org."},{"key":"e_1_3_2_1_3_1","unstructured":"[n.d.]. Pumba. ttps:\/\/gitub.com\/alexei-led\/pumba\/."},{"key":"e_1_3_2_1_4_1","volume-title":"Prognosis: Black-Box Analysis of Network Protocol Implementations.","author":"Alexandra Silva","year":"2021","unstructured":"Silva Alexandra. 2021. Prognosis: Black-Box Analysis of Network Protocol Implementations. (2021)."},{"key":"e_1_3_2_1_5_1","volume-title":"Zuck","author":"McMillan Kenneth L.","year":"2019","unstructured":"Kenneth L. McMillan and Lenore D. Zuck. 2019. Formal specification and testing of QUIC. In SIGCOMM."},{"key":"e_1_3_2_1_6_1","volume-title":"Engler","author":"Musuvathi Madanlal","year":"2004","unstructured":"Madanlal Musuvathi and Dawson R. Engler. 2004. Model checking large network protocol implementations. In NSDI."},{"key":"e_1_3_2_1_7_1","volume-title":"Dill","author":"Musuvathi Madanlal","year":"2003","unstructured":"Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, and David L. Dill. 2003. CMC: a pragmatic approach to model checking real code. ACM SIGOPS Operating Systems Review 36, SI (2003)."},{"key":"e_1_3_2_1_8_1","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI).","author":"Pedrosa Luis","year":"2015","unstructured":"Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. Analyzing protocol implementations for interoperability. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_51"},{"key":"e_1_3_2_1_10_1","volume-title":"Formal Black-Box Analysis of Routing Protocol Implementations. CoRR abs\/1709.08096","author":"Sosnovich Adi","year":"2017","unstructured":"Adi Sosnovich, Orna Grumberg, and Gabi Nakibly. 2017. Formal Black-Box Analysis of Routing Protocol Implementations. CoRR abs\/1709.08096 (2017). [arxiv]1709.08096 http:\/\/arxiv.org\/abs\/1709.08096"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1823844.1823849"},{"key":"e_1_3_2_1_12_1","unstructured":"Earl Zmijewski. [n.d.]. Reckless Driving on the Internet. ([n. d.]). ttps:\/\/blogs.oracle.com\/internetintelligence\/reckless-driving-on-te-internet."}],"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.3472843","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3472716.3472843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T04:33:29Z","timestamp":1781325209000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472716.3472843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,23]]},"references-count":12,"alternative-id":["10.1145\/3472716.3472843","10.1145\/3472716"],"URL":"https:\/\/doi.org\/10.1145\/3472716.3472843","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"}}]}}