{"id":"https://openalex.org/W3192763327","doi":"https://doi.org/10.1145/3452296.3472937","title":"Aquila","display_name":"Aquila","publication_year":2021,"publication_date":"2021-08-09","ids":{"openalex":"https://openalex.org/W3192763327","doi":"https://doi.org/10.1145/3452296.3472937","mag":"3192763327"},"language":"en","primary_location":{"id":"doi:10.1145/3452296.3472937","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3452296.3472937","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3452296.3472937","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGCOMM 2021 Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3452296.3472937","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091547804","display_name":"Bingchuan Tian","orcid":"https://orcid.org/0000-0003-2855-5772"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]},{"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"]}],"countries":["CN","US"],"is_corresponding":true,"raw_author_name":"Bingchuan Tian","raw_affiliation_strings":["Nanjing University and Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Nanjing University and Alibaba Group","institution_ids":["https://openalex.org/I4210095624","https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050612924","display_name":"Jiaqi Gao","orcid":"https://orcid.org/0000-0003-3548-2030"},"institutions":[{"id":"https://openalex.org/I136199984","display_name":"Harvard University","ror":"https://ror.org/03vek6s52","country_code":"US","type":"education","lineage":["https://openalex.org/I136199984"]},{"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiaqi Gao","raw_affiliation_strings":["Harvard University and Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Harvard University and Alibaba Group","institution_ids":["https://openalex.org/I4210095624","https://openalex.org/I136199984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100757656","display_name":"Mengqi Liu","orcid":"https://orcid.org/0000-0002-3174-8180"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengqi Liu","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103040133","display_name":"Ennan Zhai","orcid":"https://orcid.org/0000-0003-4352-7497"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ennan Zhai","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008532255","display_name":"Yanqing Chen","orcid":"https://orcid.org/0000-0001-6209-7213"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanqing Chen","raw_affiliation_strings":["Nanjing University"],"affiliations":[{"raw_affiliation_string":"Nanjing University","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055714653","display_name":"Yu Zhou","orcid":"https://orcid.org/0000-0002-3469-0906"},"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/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Yu Zhou","raw_affiliation_strings":["Tsinghua University and Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Tsinghua University and Alibaba Group","institution_ids":["https://openalex.org/I4210095624","https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058032330","display_name":"Li Dai","orcid":"https://orcid.org/0000-0002-8891-272X"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Li Dai","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101786091","display_name":"Yan Feng","orcid":"https://orcid.org/0000-0002-4601-4593"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Feng Yan","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080709012","display_name":"Mengjing Ma","orcid":null},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mengjing Ma","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003176038","display_name":"Ming Tang","orcid":"https://orcid.org/0000-0003-4374-3309"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ming Tang","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101574300","display_name":"Jie Lu","orcid":"https://orcid.org/0000-0003-2772-9806"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jie Lu","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076198195","display_name":"Xionglie Wei","orcid":null},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xionglie Wei","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014959077","display_name":"Hongqiang Harry Liu","orcid":"https://orcid.org/0000-0001-6795-8537"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongqiang Harry Liu","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002372483","display_name":"Ming Zhang","orcid":"https://orcid.org/0000-0002-4556-9191"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ming Zhang","raw_affiliation_strings":["Alibaba Group"],"affiliations":[{"raw_affiliation_string":"Alibaba Group","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100751736","display_name":"Chen Tian","orcid":"https://orcid.org/0000-0003-2710-7628"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Tian","raw_affiliation_strings":["Nanjing University"],"affiliations":[{"raw_affiliation_string":"Nanjing University","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035157838","display_name":"Minlan Yu","orcid":"https://orcid.org/0000-0002-2381-0212"},"institutions":[{"id":"https://openalex.org/I2801851002","display_name":"Harvard University Press","ror":"https://ror.org/006v7bf86","country_code":"US","type":"other","lineage":["https://openalex.org/I136199984","https://openalex.org/I2801851002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Minlan Yu","raw_affiliation_strings":["Harvard University"],"affiliations":[{"raw_affiliation_string":"Harvard University","institution_ids":["https://openalex.org/I2801851002"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":16,"corresponding_author_ids":["https://openalex.org/A5091547804"],"corresponding_institution_ids":["https://openalex.org/I4210095624","https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":1.9306,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.86155347,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"17","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9990000128746033,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7896016836166382},{"id":"https://openalex.org/keywords/usable","display_name":"USable","score":0.7270119786262512},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5903440713882446},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4746161997318268},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4677486717700958},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.45092153549194336},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.42031028866767883},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3721862733364105},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3465248942375183},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.33228522539138794},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.21907243132591248},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.17185944318771362}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7896016836166382},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.7270119786262512},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5903440713882446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4746161997318268},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4677486717700958},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.45092153549194336},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.42031028866767883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3721862733364105},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3465248942375183},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33228522539138794},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.21907243132591248},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.17185944318771362},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3452296.3472937","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3452296.3472937","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3452296.3472937","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGCOMM 2021 Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3452296.3472937","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3452296.3472937","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3452296.3472937","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2021 ACM SIGCOMM 2021 Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1369213588","display_name":"CAREER: A Programmable Measurement Architecture for Network Operations","funder_award_id":"1834263","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3806620116","display_name":null,"funder_award_id":"CNS-1834263","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G533598240","display_name":null,"funder_award_id":"61772265, 62072228","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6583756419","display_name":null,"funder_award_id":"61772265","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8779208871","display_name":null,"funder_award_id":"62072228","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3192763327.pdf","grobid_xml":"https://content.openalex.org/works/W3192763327.grobid-xml"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W1249296113","https://openalex.org/W1480909796","https://openalex.org/W1547562281","https://openalex.org/W1675033504","https://openalex.org/W1882012874","https://openalex.org/W1992431017","https://openalex.org/W1994926493","https://openalex.org/W2035951900","https://openalex.org/W2040856861","https://openalex.org/W2040900440","https://openalex.org/W2063123613","https://openalex.org/W2066210260","https://openalex.org/W2072811945","https://openalex.org/W2114692640","https://openalex.org/W2117584078","https://openalex.org/W2121204404","https://openalex.org/W2132525863","https://openalex.org/W2162844904","https://openalex.org/W2188073520","https://openalex.org/W2204503793","https://openalex.org/W2283556750","https://openalex.org/W2289285710","https://openalex.org/W2339906640","https://openalex.org/W2343875716","https://openalex.org/W2468070113","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2499399377","https://openalex.org/W2521536125","https://openalex.org/W2577367366","https://openalex.org/W2594119292","https://openalex.org/W2742515467","https://openalex.org/W2744387122","https://openalex.org/W2744693751","https://openalex.org/W2761338514","https://openalex.org/W2792493146","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2902440776","https://openalex.org/W2911450990","https://openalex.org/W2920584172","https://openalex.org/W2933011641","https://openalex.org/W2957285558","https://openalex.org/W2963885243","https://openalex.org/W2968108410","https://openalex.org/W2968149030","https://openalex.org/W2968168257","https://openalex.org/W2986235081","https://openalex.org/W2986715885","https://openalex.org/W2996472110","https://openalex.org/W2997666247","https://openalex.org/W3010473294","https://openalex.org/W3014010732","https://openalex.org/W3032442097","https://openalex.org/W3046486172","https://openalex.org/W3046676529","https://openalex.org/W3046697300","https://openalex.org/W3046814036"],"related_works":["https://openalex.org/W2982321410","https://openalex.org/W95465806","https://openalex.org/W2392004567","https://openalex.org/W2046296964","https://openalex.org/W2940029036","https://openalex.org/W2756595502","https://openalex.org/W2010789764","https://openalex.org/W2187233292","https://openalex.org/W2219281195","https://openalex.org/W4389422031"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"Aquila,":[3],"the":[4,62,73,80,110,133,151],"first":[5],"practically":[6,23],"usable":[7,24],"verification":[8,30,152],"system":[9],"for":[10,116,159],"Alibaba's":[11],"production-scale":[12,155],"programmable":[13,156],"data":[14,83,174],"planes.":[15],"Aquila":[16,42,65,90,122,146],"addresses":[17],"four":[18],"challenges":[19],"in":[20,150],"building":[21],"a":[22,44,67,114,162],"verification:":[25],"(1)":[26],"specification":[27,56],"complexity;":[28],"(2)":[29],"scalability;":[31],"(3)":[32],"bug":[33,96],"localization;":[34],"and":[35,94,108,120,139,164],"(4)":[36],"verifier":[37],"self":[38,125],"validation.":[39],"Specifically,":[40],"first,":[41],"proposes":[43],"high-level":[45],"language":[46],"that":[47,99],"facilitates":[48],"easy":[49],"expression":[50],"of":[51,55,76,82,135,153],"specifications,":[52],"reducing":[53],"lines":[54],"codes":[57],"by":[58,112],"tenfold":[59],"compared":[60],"to":[61,71,86],"state-of-the-art.":[63],"Second,":[64],"constructs":[66],"sequential":[68],"encoding":[69],"algorithm":[70],"circumvent":[72],"exponential":[74],"growth":[75],"states":[77],"associated":[78],"with":[79],"upscaling":[81],"plane":[84,175],"programs":[85],"production":[87],"level.":[88],"Third,":[89],"adopts":[91],"an":[92,136],"automatic":[93],"accurate":[95],"localization":[97],"approach":[98],"can":[100,123],"narrow":[101],"down":[102],"suspects":[103],"based":[104,127],"on":[105,128],"reported":[106],"violations":[107],"pinpoint":[109],"culprit":[111],"simulating":[113],"fix":[115],"each":[117],"suspect.":[118],"Fourth":[119],"finally,":[121],"perform":[124],"validation":[126],"refinement":[129],"proof,":[130],"which":[131],"involves":[132],"construction":[134],"alternative":[137],"representation":[138],"subsequent":[140],"equivalence":[141],"checking.":[142],"To":[143],"this":[144],"date,":[145],"has":[147,166],"been":[148],"used":[149],"our":[154],"edge":[157],"networks":[158],"over":[160],"half":[161],"year,":[163],"it":[165],"successfully":[167],"prevented":[168],"many":[169],"potential":[170],"failures":[171],"resulting":[172],"from":[173],"bugs.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":3}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2021-08-16T00:00:00"}