{"id":"https://openalex.org/W4401176476","doi":"https://doi.org/10.1145/3651890.3672238","title":"Relational Network Verification","display_name":"Relational Network Verification","publication_year":2024,"publication_date":"2024-07-31","ids":{"openalex":"https://openalex.org/W4401176476","doi":"https://doi.org/10.1145/3651890.3672238"},"language":"en","primary_location":{"id":"doi:10.1145/3651890.3672238","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651890.3672238","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2024 Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3651890.3672238","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044376206","display_name":"Xieyang Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xieyang Xu","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0009-0008-1237-2369","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101708283","display_name":"Yifei Yuan","orcid":"https://orcid.org/0000-0002-9089-580X"},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]},{"id":"https://openalex.org/I4210108985","display_name":"Bellevue Hospital Center","ror":"https://ror.org/01ky34z31","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I1283621791","https://openalex.org/I4210086933","https://openalex.org/I4210108985"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yifei Yuan","raw_affiliation_strings":["Alibaba Cloud, Bellevue, USA"],"raw_orcid":"https://orcid.org/0000-0002-9089-580X","affiliations":[{"raw_affiliation_string":"Alibaba Cloud, Bellevue, USA","institution_ids":["https://openalex.org/I4210095624","https://openalex.org/I4210108985"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041698482","display_name":"Zachary Kincaid","orcid":"https://orcid.org/0000-0002-7294-9165"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zachary Kincaid","raw_affiliation_strings":["Princeton University, Princeton, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-7294-9165","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, United States of America","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101497042","display_name":"Arvind Krishnamurthy","orcid":"https://orcid.org/0000-0002-9505-9528"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arvind Krishnamurthy","raw_affiliation_strings":["University of Washington, Seattle, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-9505-9528","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, United States of America","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013518229","display_name":"Ratul Mahajan","orcid":"https://orcid.org/0009-0005-8005-6948"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ratul Mahajan","raw_affiliation_strings":["University of Washington, Seattle, United States of America"],"raw_orcid":"https://orcid.org/0009-0005-8005-6948","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, United States of America","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049454219","display_name":"David Walker","orcid":"https://orcid.org/0000-0003-3681-149X"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Walker","raw_affiliation_strings":["Princeton University, Princeton, United States of America"],"raw_orcid":"https://orcid.org/0000-0003-3681-149X","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, United States of America","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103040133","display_name":"Ennan Zhai","orcid":"https://orcid.org/0000-0003-4352-7497"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ennan Zhai","raw_affiliation_strings":["Alibaba Cloud, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-4352-7497","affiliations":[{"raw_affiliation_string":"Alibaba Cloud, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"213","last_page":"227"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6793050169944763}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6793050169944763}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3651890.3672238","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651890.3672238","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2024 Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3651890.3672238","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3651890.3672238","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2024 Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1006830446","display_name":"CNS Core: Small: Test Framework for Easy and Effective Use of Network Verification","funder_award_id":"2007073","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2685010783","display_name":"Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes","funder_award_id":"2219862","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6183156262","display_name":"Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes","funder_award_id":"2219863","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W102530743","https://openalex.org/W1582482241","https://openalex.org/W1965306495","https://openalex.org/W2072607050","https://openalex.org/W2115526539","https://openalex.org/W2130210899","https://openalex.org/W2149996206","https://openalex.org/W2324910104","https://openalex.org/W2485543941","https://openalex.org/W2492337463","https://openalex.org/W2742515467","https://openalex.org/W2962604136","https://openalex.org/W2968149030","https://openalex.org/W2979746918","https://openalex.org/W2997326335","https://openalex.org/W3046445220","https://openalex.org/W4386385177"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Relational":[0,42],"network":[1,9,15,23,35,67,111],"verification":[2],"is":[3],"a":[4,21],"new":[5],"approach":[6],"for":[7,20,119],"validating":[8],"changes.":[10],"In":[11],"contrast":[12],"to":[13,83,94,98,110,117],"traditional":[14],"verification,":[16],"which":[17,113],"analyzes":[18,26],"specifications":[19,27,43,80,107],"single":[22],"snapshot,":[24],"it":[25],"that":[28,56,64,90,101],"capture":[29],"similarities":[30],"and":[31,39,46,54,60,87],"differences":[32],"between":[33,58],"two":[34],"snapshots":[36,59],"(e.g.,":[37],"pre-":[38],"post-change":[40],"snapshots).":[41],"are":[44,91,108],"compact":[45],"precise":[47],"because":[48],"they":[49],"focus":[50],"on":[51],"the":[52,70],"flows":[53],"paths":[55],"change":[57,95],"then":[61],"simply":[62],"mandate":[63],"all":[65,85],"other":[66],"behaviors":[68,89],"\"stay":[69],"same\",":[71],"without":[72],"enumerating":[73],"them.":[74],"To":[75],"achieve":[76],"similar":[77],"guarantees,":[78],"single-snapshot":[79],"would":[81],"need":[82],"enumerate":[84],"flow":[86],"path":[88],"not":[92],"expected":[93],"in":[96],"order":[97],"enable":[99],"checking":[100],"nothing":[102],"has":[103],"accidentally":[104],"changed.":[105],"Such":[106],"proportional":[109],"size,":[112],"makes":[114],"them":[115],"impractical":[116],"generate":[118],"many":[120],"real-world":[121],"networks.":[122]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":6}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}