{"id":"https://openalex.org/W2792691449","doi":"https://doi.org/10.1109/infocom.2018.8485948","title":"VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables","display_name":"VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables","publication_year":2018,"publication_date":"2018-04-01","ids":{"openalex":"https://openalex.org/W2792691449","doi":"https://doi.org/10.1109/infocom.2018.8485948","mag":"2792691449"},"language":"en","primary_location":{"id":"doi:10.1109/infocom.2018.8485948","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom.2018.8485948","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2018 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1804.07374","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030268978","display_name":"Garegin Grigoryan","orcid":"https://orcid.org/0000-0002-3728-3249"},"institutions":[{"id":"https://openalex.org/I16944753","display_name":"Clarkson University","ror":"https://ror.org/03rwgpn18","country_code":"US","type":"education","lineage":["https://openalex.org/I16944753"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Garegin Grigoryan","raw_affiliation_strings":["Clarkson University"],"affiliations":[{"raw_affiliation_string":"Clarkson University","institution_ids":["https://openalex.org/I16944753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103114555","display_name":"Yaoqing Liu","orcid":"https://orcid.org/0000-0002-8317-1029"},"institutions":[{"id":"https://openalex.org/I16944753","display_name":"Clarkson University","ror":"https://ror.org/03rwgpn18","country_code":"US","type":"education","lineage":["https://openalex.org/I16944753"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yaoqing Liu","raw_affiliation_strings":["Clarkson University"],"affiliations":[{"raw_affiliation_string":"Clarkson University","institution_ids":["https://openalex.org/I16944753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042882053","display_name":"Michael Leczinsky","orcid":null},"institutions":[{"id":"https://openalex.org/I16944753","display_name":"Clarkson University","ror":"https://ror.org/03rwgpn18","country_code":"US","type":"education","lineage":["https://openalex.org/I16944753"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Leczinsky","raw_affiliation_strings":["Clarkson University"],"affiliations":[{"raw_affiliation_string":"Clarkson University","institution_ids":["https://openalex.org/I16944753"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100361875","display_name":"Jun Li","orcid":"https://orcid.org/0000-0002-5308-5672"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jun Li","raw_affiliation_strings":["University of Oregon"],"affiliations":[{"raw_affiliation_string":"University of Oregon","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5030268978"],"corresponding_institution_ids":["https://openalex.org/I16944753"],"apc_list":null,"apc_paid":null,"fwci":1.0526,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74468332,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"43","issue":null,"first_page":"621","last_page":"629"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9983999729156494,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8208644390106201},{"id":"https://openalex.org/keywords/routing-table","display_name":"Routing table","score":0.7963866591453552},{"id":"https://openalex.org/keywords/virtual-routing-and-forwarding","display_name":"Virtual routing and forwarding","score":0.7239825129508972},{"id":"https://openalex.org/keywords/ipv6","display_name":"IPv6","score":0.6072774529457092},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.600999116897583},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.5636618137359619},{"id":"https://openalex.org/keywords/trie","display_name":"Trie","score":0.559600293636322},{"id":"https://openalex.org/keywords/ipv4","display_name":"IPv4","score":0.5339229106903076},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.4991424083709717},{"id":"https://openalex.org/keywords/ip-forwarding","display_name":"IP forwarding","score":0.4864944815635681},{"id":"https://openalex.org/keywords/packet-forwarding","display_name":"Packet forwarding","score":0.4738609790802002},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.43879246711730957},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.36062031984329224},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3419804871082306},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.31555283069610596},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.20221218466758728},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19420912861824036},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14202535152435303},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.1258559226989746}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8208644390106201},{"id":"https://openalex.org/C184896649","wikidata":"https://www.wikidata.org/wiki/Q290066","display_name":"Routing table","level":4,"score":0.7963866591453552},{"id":"https://openalex.org/C157626507","wikidata":"https://www.wikidata.org/wiki/Q7935037","display_name":"Virtual routing and forwarding","level":5,"score":0.7239825129508972},{"id":"https://openalex.org/C84555802","wikidata":"https://www.wikidata.org/wiki/Q2551624","display_name":"IPv6","level":3,"score":0.6072774529457092},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.600999116897583},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.5636618137359619},{"id":"https://openalex.org/C190290938","wikidata":"https://www.wikidata.org/wiki/Q387015","display_name":"Trie","level":3,"score":0.559600293636322},{"id":"https://openalex.org/C2779233093","wikidata":"https://www.wikidata.org/wiki/Q11103","display_name":"IPv4","level":4,"score":0.5339229106903076},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.4991424083709717},{"id":"https://openalex.org/C174809319","wikidata":"https://www.wikidata.org/wiki/Q5973191","display_name":"IP forwarding","level":5,"score":0.4864944815635681},{"id":"https://openalex.org/C120317029","wikidata":"https://www.wikidata.org/wiki/Q874048","display_name":"Packet forwarding","level":3,"score":0.4738609790802002},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.43879246711730957},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.36062031984329224},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3419804871082306},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.31555283069610596},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.20221218466758728},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19420912861824036},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14202535152435303},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.1258559226989746},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/infocom.2018.8485948","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom.2018.8485948","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2018 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1804.07374","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1804.07374","pdf_url":"https://arxiv.org/pdf/1804.07374","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1804.07374","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1804.07374","pdf_url":"https://arxiv.org/pdf/1804.07374","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2792691449.pdf","grobid_xml":"https://content.openalex.org/works/W2792691449.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W158224344","https://openalex.org/W176850939","https://openalex.org/W1449038650","https://openalex.org/W1675033504","https://openalex.org/W1882012874","https://openalex.org/W2031529828","https://openalex.org/W2043895496","https://openalex.org/W2055113824","https://openalex.org/W2055419611","https://openalex.org/W2112899463","https://openalex.org/W2115526539","https://openalex.org/W2115578463","https://openalex.org/W2122695394","https://openalex.org/W2132074944","https://openalex.org/W2155512447","https://openalex.org/W2173213060","https://openalex.org/W3093756599","https://openalex.org/W4233458882","https://openalex.org/W6606536520","https://openalex.org/W6628489088","https://openalex.org/W6639592347"],"related_works":["https://openalex.org/W2010600439","https://openalex.org/W1964317229","https://openalex.org/W2497028718","https://openalex.org/W1966417809","https://openalex.org/W2128922108","https://openalex.org/W2350900738","https://openalex.org/W2120034637","https://openalex.org/W2103355668","https://openalex.org/W1041112772","https://openalex.org/W2048483191"],"abstract_inverted_index":{"Due":[0],"to":[1,45,54,126],"network":[2],"practices":[3],"such":[4],"as":[5,15,89,136,138],"traffic":[6],"engineering":[7],"and":[8,30,58,160,174],"multi-homing,":[9],"the":[10,18,27,40,56,81,85,90,102,106,116,154,167],"number":[11],"of":[12,39],"routes-also":[13],"known":[14],"IP":[16],"prefixes-in":[17],"global":[19],"forwarding":[20,87,131,134],"tables":[21,132,162],"has":[22],"been":[23],"increasing":[24],"significantly":[25,152],"in":[26,33,97,143,163],"last":[28],"decade":[29],"continues":[31],"growing":[32],"a":[34,60,64,70,122],"super":[35],"linear":[36],"trend.":[37],"One":[38],"most":[41],"promising":[42],"solutions":[43],"is":[44],"use":[46],"smart":[47],"Forwarding":[48],"Information":[49],"Base":[50],"(FIB)":[51],"aggregation":[52],"algorithms":[53],"aggregate":[55],"prefixes":[57],"convert":[59],"large":[61],"table":[62,83],"into":[63],"small":[65],"one.":[66],"Doing":[67],"so":[68],"poses":[69],"research":[71],"question,":[72],"however,":[73],"i.e.,":[74],"how":[75],"can":[76,120],"we":[77,114],"quickly":[78,127],"verify":[79],"that":[80,119],"original":[82],"yields":[84],"same":[86],"behaviors":[88],"aggregated":[91],"one?":[92],"We":[93],"answer":[94],"this":[95,98],"question":[96],"paper,":[99],"including":[100,166],"addressing":[101],"challenges":[103],"caused":[104],"by":[105],"longest":[107],"prefix":[108],"matching":[109],"(LPM)":[110],"lookups.":[111],"In":[112],"particular,":[113],"propose":[115],"VeriTable":[117,150],"algorithm":[118,151],"employ":[121],"single":[123],"tree/trie":[124],"traversal":[125],"check":[128],"if":[129,139],"multiple":[130],"are":[133],"equivalent,":[135],"well":[137],"they":[140],"could":[141],"result":[142],"routing":[144],"loops":[145],"or":[146],"black":[147],"holes.":[148],"The":[149],"outperforms":[153],"state-of-the-art":[155],"work":[156],"for":[157],"both":[158],"IPv4":[159],"IPv6":[161],"every":[164],"aspect,":[165],"total":[168],"running":[169],"time,":[170],"memory":[171,175],"access":[172],"times":[173],"consumption.":[176]},"counts_by_year":[{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}