{"id":"https://openalex.org/W4386365395","doi":"https://doi.org/10.1145/3603269.3604856","title":"Hydra: Effective Runtime Network Verification","display_name":"Hydra: Effective Runtime Network Verification","publication_year":2023,"publication_date":"2023-09-01","ids":{"openalex":"https://openalex.org/W4386365395","doi":"https://doi.org/10.1145/3603269.3604856"},"language":"en","primary_location":{"id":"doi:10.1145/3603269.3604856","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3603269.3604856","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2023 Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083288938","display_name":"Sundararajan Renganathan","orcid":"https://orcid.org/0009-0008-7853-9440"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sundararajan Renganathan","raw_affiliation_strings":["Stanford University, Stanford, CA, United States of America"],"raw_orcid":"https://orcid.org/0009-0008-7853-9440","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA, United States of America","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101735610","display_name":"Benny Rubin","orcid":"https://orcid.org/0009-0004-6404-2522"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benny Rubin","raw_affiliation_strings":["Cornell University, Ithaca, NY, United States of America"],"raw_orcid":"https://orcid.org/0009-0004-6404-2522","affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, United States of America","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087603982","display_name":"Hyojoon Kim","orcid":"https://orcid.org/0000-0002-0650-5339"},"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":"Hyojoon Kim","raw_affiliation_strings":["Princeton University, Princeton, NJ, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-0650-5339","affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, NJ, United States of America","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084496684","display_name":"Pier Luigi Ventre","orcid":"https://orcid.org/0000-0001-6610-0547"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pier Luigi Ventre","raw_affiliation_strings":["Intel, Rome, Italy"],"raw_orcid":"https://orcid.org/0000-0001-6610-0547","affiliations":[{"raw_affiliation_string":"Intel, Rome, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014027075","display_name":"Carmelo Cascone","orcid":"https://orcid.org/0000-0003-3159-2267"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carmelo Cascone","raw_affiliation_strings":["Intel, Stanta Clara, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-3159-2267","affiliations":[{"raw_affiliation_string":"Intel, Stanta Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054785893","display_name":"Daniele Moro","orcid":"https://orcid.org/0000-0001-6272-7510"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniele Moro","raw_affiliation_strings":["Intel, Pordenone, Italy"],"raw_orcid":"https://orcid.org/0000-0001-6272-7510","affiliations":[{"raw_affiliation_string":"Intel, Pordenone, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076296509","display_name":"Charles Chan","orcid":"https://orcid.org/0000-0002-4468-725X"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Charles Chan","raw_affiliation_strings":["Intel, Santa Clara, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-4468-725X","affiliations":[{"raw_affiliation_string":"Intel, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035085176","display_name":"Nick McKeown","orcid":"https://orcid.org/0009-0000-3657-3933"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nick McKeown","raw_affiliation_strings":["Stanford University, Stanford, CA, USA"],"raw_orcid":"https://orcid.org/0009-0000-3657-3933","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013378091","display_name":"Nate Foster","orcid":"https://orcid.org/0000-0002-6557-684X"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nate Foster","raw_affiliation_strings":["Cornell University, Ithaca, NY, United States of America"],"raw_orcid":"https://orcid.org/0000-0002-6557-684X","affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, United States of America","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7069,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.85367161,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"182","last_page":"194"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998999834060669,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998999834060669,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9919000267982483,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9915000200271606,"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.8685091733932495},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7374711036682129},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7068498730659485},{"id":"https://openalex.org/keywords/runtime-system","display_name":"Runtime system","score":0.6401647329330444},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.5109202265739441},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.5063663721084595},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.48817116022109985},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.44301605224609375},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.412003755569458},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4014611542224884},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37927037477493286},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3589635491371155}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8685091733932495},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7374711036682129},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7068498730659485},{"id":"https://openalex.org/C2780870223","wikidata":"https://www.wikidata.org/wiki/Q1004415","display_name":"Runtime system","level":2,"score":0.6401647329330444},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.5109202265739441},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5063663721084595},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.48817116022109985},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.44301605224609375},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.412003755569458},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4014611542224884},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37927037477493286},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3589635491371155},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3603269.3604856","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3603269.3604856","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGCOMM 2023 Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6700000166893005,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G1084551841","display_name":"FMitF: Track I: Petr4: Formal Foundations for Programmable Networks","funder_award_id":"1918396","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4068197076","display_name":null,"funder_award_id":"N68335-22-C-0411","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4333097639","display_name":null,"funder_award_id":"FMiTF-1918396","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7075948947","display_name":null,"funder_award_id":"HR001120C0107","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W89211096","https://openalex.org/W158224344","https://openalex.org/W1249296113","https://openalex.org/W1408671314","https://openalex.org/W1449038650","https://openalex.org/W1675033504","https://openalex.org/W1698388015","https://openalex.org/W1700264732","https://openalex.org/W1825341937","https://openalex.org/W1863629953","https://openalex.org/W1882012874","https://openalex.org/W2115526539","https://openalex.org/W2136451165","https://openalex.org/W2140069682","https://openalex.org/W2149236835","https://openalex.org/W2151517515","https://openalex.org/W2180601376","https://openalex.org/W2324910104","https://openalex.org/W2485543941","https://openalex.org/W2559645321","https://openalex.org/W2577367366","https://openalex.org/W2585501424","https://openalex.org/W2595890440","https://openalex.org/W2742515467","https://openalex.org/W2791671434","https://openalex.org/W2798281766","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2903107001","https://openalex.org/W2905296436","https://openalex.org/W2996714391","https://openalex.org/W3014681330","https://openalex.org/W3034136400","https://openalex.org/W3046814036","https://openalex.org/W3093328061","https://openalex.org/W3211913575","https://openalex.org/W3212102899","https://openalex.org/W4290991207","https://openalex.org/W4385682849","https://openalex.org/W6637389031","https://openalex.org/W6684227779","https://openalex.org/W6766967753","https://openalex.org/W6791774551","https://openalex.org/W6846623622"],"related_works":["https://openalex.org/W2357088637","https://openalex.org/W2759596553","https://openalex.org/W2371266106","https://openalex.org/W2117382851","https://openalex.org/W2382449560","https://openalex.org/W2110432562","https://openalex.org/W2611577313","https://openalex.org/W2025344","https://openalex.org/W2117864619","https://openalex.org/W2767298477"],"abstract_inverted_index":{"It":[0],"is":[1,9,33,93],"notoriously":[2],"difficult":[3],"to":[4,28,38,84,96,140],"verify":[5],"that":[6,22,30,59,68,91,135,155],"a":[7,20,39,46,57,86,127],"network":[8],"behaving":[10],"as":[11],"intended,":[12],"especially":[13],"at":[14,74],"scale.":[15],"This":[16],"paper":[17],"presents":[18],"Hydra,":[19],"system":[21],"uses":[23],"ideas":[24],"from":[25],"runtime":[26],"verification":[27],"check":[29],"every":[31],"packet":[32],"correctly":[34],"processed":[35],"with":[36],"respect":[37],"specification":[40],"in":[41,100,111,119,130],"real":[42],"time.":[43],"We":[44,103,125,145],"propose":[45],"domain-specific":[47],"language":[48],"for":[49,108,115],"writing":[50],"properties,":[51,89],"called":[52],"Indus,":[53],"and":[54,114,162],"we":[55,81],"develop":[56],"compiler":[58],"turns":[60],"properties":[61],"thus":[62],"specified":[63],"into":[64],"executable":[65],"P4":[66],"code":[67,73],"runs":[69],"alongside":[70],"the":[71,148],"forwarding":[72],"line":[75],"rate.":[76],"To":[77],"evaluate":[78],"our":[79],"approach,":[80],"used":[82],"Indus":[83],"model":[85],"range":[87],"of":[88,150],"showing":[90],"it":[92,156],"expressive":[94],"enough":[95],"capture":[97],"examples":[98],"studied":[99],"prior":[101],"work.":[102],"also":[104,146],"deployed":[105],"Hydra":[106,151],"checkers":[107],"validating":[109],"paths":[110],"source":[112],"routing":[113],"enforcing":[116],"slice":[117],"isolation":[118],"Aether,":[120],"an":[121],"open-source":[122],"cellular":[123],"platform.":[124],"confirmed":[126],"subtle":[128],"bug":[129],"Aether's":[131],"5G":[132],"mobile":[133],"core":[134],"would":[136],"have":[137],"been":[138],"hard":[139],"detect":[141],"using":[142],"static":[143],"techniques.":[144],"evaluated":[147],"overheads":[149],"on":[152],"hardware,":[153],"finding":[154],"does":[157,164],"not":[158,165],"significantly":[159],"increase":[160],"latency":[161],"often":[163],"require":[166],"additional":[167],"pipeline":[168],"stages.":[169]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}