{"id":"https://openalex.org/W4316021948","doi":"https://doi.org/10.1109/tnet.2023.3234931","title":"Runtime Verification for Programmable Switches","display_name":"Runtime Verification for Programmable Switches","publication_year":2023,"publication_date":"2023-01-13","ids":{"openalex":"https://openalex.org/W4316021948","doi":"https://doi.org/10.1109/tnet.2023.3234931"},"language":"en","primary_location":{"id":"doi:10.1109/tnet.2023.3234931","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2023.3234931","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Networking","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.tudelft.nl/file/File_df5131b7-e7c8-4580-9fb8-5d7222832737","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077524463","display_name":"Apoorv Shukla","orcid":"https://orcid.org/0000-0003-4780-9512"},"institutions":[{"id":"https://openalex.org/I4210132444","display_name":"Systems, Applications & Products in Data Processing (Germany)","ror":"https://ror.org/03dsc8d33","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210132444"]},{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]},{"id":"https://openalex.org/I59105498","display_name":"Swisscom (Switzerland)","ror":"https://ror.org/04t1f4f50","country_code":"CH","type":"company","lineage":["https://openalex.org/I59105498"]}],"countries":["CH","DE"],"is_corresponding":true,"raw_author_name":"Apoorv Shukla","raw_affiliation_strings":["Huawei Munich Research Center, Munich, Germany","the Huawei Munich Research Center, 80992 Munich, Germany","Swisscom AG, 3048 Bern, Switzerland","69190 Walldorf, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4780-9512","affiliations":[{"raw_affiliation_string":"Huawei Munich Research Center, Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]},{"raw_affiliation_string":"the Huawei Munich Research Center, 80992 Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]},{"raw_affiliation_string":"Swisscom AG, 3048 Bern, Switzerland","institution_ids":["https://openalex.org/I59105498"]},{"raw_affiliation_string":"69190 Walldorf, Germany","institution_ids":["https://openalex.org/I4210132444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112460835","display_name":"Kevin Nico Hudemann","orcid":null},"institutions":[{"id":"https://openalex.org/I4210132444","display_name":"Systems, Applications & Products in Data Processing (Germany)","ror":"https://ror.org/03dsc8d33","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210132444"]},{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kevin Hudemann","raw_affiliation_strings":["SAP, Walldorf, Germany","the Huawei Munich Research Center, 80992 Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SAP, Walldorf, Germany","institution_ids":["https://openalex.org/I4210132444"]},{"raw_affiliation_string":"the Huawei Munich Research Center, 80992 Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079286245","display_name":"Zsolt V\u00e1gi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]},{"id":"https://openalex.org/I59105498","display_name":"Swisscom (Switzerland)","ror":"https://ror.org/04t1f4f50","country_code":"CH","type":"company","lineage":["https://openalex.org/I59105498"]},{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["CH","DE","NL"],"is_corresponding":false,"raw_author_name":"Zsolt V\u00e1gi","raw_affiliation_strings":["Swisscom AG, Bern, Switzerland","the Huawei Munich Research Center, 80992 Munich, Germany","Delft University of Technology (TU Delft), 2600 CD Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Swisscom AG, Bern, Switzerland","institution_ids":["https://openalex.org/I59105498"]},{"raw_affiliation_string":"the Huawei Munich Research Center, 80992 Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]},{"raw_affiliation_string":"Delft University of Technology (TU Delft), 2600 CD Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060553852","display_name":"Lily H\u00fcgerich","orcid":"https://orcid.org/0000-0002-4358-1699"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lily H\u00fcgerich","raw_affiliation_strings":["Technical University of Berlin (TU Berlin), Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4358-1699","affiliations":[{"raw_affiliation_string":"Technical University of Berlin (TU Berlin), Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005247877","display_name":"Georgios Smaragdakis","orcid":"https://orcid.org/0000-0002-4127-3617"},"institutions":[{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]},{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Georgios Smaragdakis","raw_affiliation_strings":["Delft University of Technology (TU Delft), CD Delft, The Netherlands","the Huawei Munich Research Center, 80992 Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4127-3617","affiliations":[{"raw_affiliation_string":"Delft University of Technology (TU Delft), CD Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"the Huawei Munich Research Center, 80992 Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041702790","display_name":"Artur Hecker","orcid":"https://orcid.org/0000-0003-3604-2686"},"institutions":[{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]},{"id":"https://openalex.org/I59105498","display_name":"Swisscom (Switzerland)","ror":"https://ror.org/04t1f4f50","country_code":"CH","type":"company","lineage":["https://openalex.org/I59105498"]}],"countries":["CH","DE"],"is_corresponding":false,"raw_author_name":"Artur Hecker","raw_affiliation_strings":["Huawei Munich Research Center, Munich, Germany","Swisscom AG, 3048 Bern, Switzerland","the Huawei Munich Research Center, 80992 Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Munich Research Center, Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]},{"raw_affiliation_string":"Swisscom AG, 3048 Bern, Switzerland","institution_ids":["https://openalex.org/I59105498"]},{"raw_affiliation_string":"the Huawei Munich Research Center, 80992 Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066080641","display_name":"Stefan Schmid","orcid":"https://orcid.org/0000-0002-7798-1711"},"institutions":[{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]},{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Schmid","raw_affiliation_strings":["Technical University of Berlin (TU Berlin), Berlin, Germany","Fraunhofer Institute for Secure Information Technology (Fraunhofer SIT), 64295 Darmstadt, Germany","the Huawei Munich Research Center, 80992 Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0002-7798-1711","affiliations":[{"raw_affiliation_string":"Technical University of Berlin (TU Berlin), Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Fraunhofer Institute for Secure Information Technology (Fraunhofer SIT), 64295 Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470"]},{"raw_affiliation_string":"the Huawei Munich Research Center, 80992 Munich, Germany","institution_ids":["https://openalex.org/I4210166625"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027274731","display_name":"Anja Feldmann","orcid":"https://orcid.org/0000-0002-5530-6993"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Anja Feldmann","raw_affiliation_strings":["Max Planck Institute for Informatics, Saarbr&#x00FC;cken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Informatics, Saarbr&#x00FC;cken, Germany","institution_ids":["https://openalex.org/I4210109712"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5077524463"],"corresponding_institution_ids":["https://openalex.org/I4210132444","https://openalex.org/I4210166625","https://openalex.org/I59105498"],"apc_list":null,"apc_paid":null,"fwci":0.6376,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73597811,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"31","issue":"4","first_page":"1822","last_page":"1837"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9975000023841858,"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.9975000023841858,"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.8375592827796936},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36451444029808044},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.32978472113609314}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8375592827796936},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36451444029808044},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.32978472113609314}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tnet.2023.3234931","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2023.3234931","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Networking","raw_type":"journal-article"},{"id":"pmh:oai:tudelft.nl:uuid:a0e1a879-2ea9-44e5-ba01-daff02dc5189","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:a0e1a879-2ea9-44e5-ba01-daff02dc5189","pdf_url":"https://repository.tudelft.nl/file/File_df5131b7-e7c8-4580-9fb8-5d7222832737","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/462681","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/462681","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"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":"journal article"}],"best_oa_location":{"id":"pmh:oai:tudelft.nl:uuid:a0e1a879-2ea9-44e5-ba01-daff02dc5189","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:a0e1a879-2ea9-44e5-ba01-daff02dc5189","pdf_url":"https://repository.tudelft.nl/file/File_df5131b7-e7c8-4580-9fb8-5d7222832737","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7470439953","display_name":null,"funder_award_id":"I 4800-N","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7830974578","display_name":"Adversarial Design Framework for Self-Driving Networks","funder_award_id":"I 4800","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4316021948.pdf","grobid_xml":"https://content.openalex.org/works/W4316021948.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W1595483645","https://openalex.org/W1994842133","https://openalex.org/W1994926493","https://openalex.org/W2042033151","https://openalex.org/W2063918473","https://openalex.org/W2096650374","https://openalex.org/W2101819268","https://openalex.org/W2122410182","https://openalex.org/W2122695394","https://openalex.org/W2180601376","https://openalex.org/W2201581102","https://openalex.org/W2521536125","https://openalex.org/W2574017551","https://openalex.org/W2583649498","https://openalex.org/W2746553466","https://openalex.org/W2769748476","https://openalex.org/W2791671434","https://openalex.org/W2792493146","https://openalex.org/W2795192879","https://openalex.org/W2808279976","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2902440776","https://openalex.org/W2938753454","https://openalex.org/W2963154302","https://openalex.org/W2964073054","https://openalex.org/W2967385474","https://openalex.org/W2991458367","https://openalex.org/W2998011150","https://openalex.org/W3008207353","https://openalex.org/W3010028148","https://openalex.org/W3034136400","https://openalex.org/W3046814036","https://openalex.org/W3092462896","https://openalex.org/W3152942743","https://openalex.org/W3156949712","https://openalex.org/W3192763327","https://openalex.org/W3212102899","https://openalex.org/W4214717370","https://openalex.org/W4233559841","https://openalex.org/W4243127898","https://openalex.org/W4249297534","https://openalex.org/W4253731216","https://openalex.org/W4290991688","https://openalex.org/W4298857966","https://openalex.org/W4300402905","https://openalex.org/W6606536520","https://openalex.org/W6606921564","https://openalex.org/W6633864067","https://openalex.org/W6637967152","https://openalex.org/W6639592347","https://openalex.org/W6687681856","https://openalex.org/W6735892469","https://openalex.org/W6745987728","https://openalex.org/W6746060996","https://openalex.org/W6759911528","https://openalex.org/W6784617427"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"We":[0,93],"introduce":[1],"a":[2,25,44,95],"runtime":[3,26,80],"verification":[4,27],"framework":[5],"for":[6,78],"programmable":[7],"switches":[8],"that":[9,29,50,67,128],"complements":[10],"static":[11],"analysis.":[12],"To":[13],"evaluate":[14],"our":[15],"approach,":[16],"we":[17],"design":[18],"and":[19,33,86,89,102,123,141],"develop":[20],"<monospace":[21,54,58,96,129,149],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[22,55,59,97,130,150],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">P6</monospace>":[23,56,60,98,131],",":[24],"system":[28],"automatically":[30],"detects,":[31],"localizes,":[32],"patches":[34,142],"software":[35],"bugs":[36,105,143],"in":[37,106,144],"P4":[38,69,76,110,146],"programs.":[39],"Bugs":[40],"are":[41],"reported":[42],"via":[43],"violation":[45],"of":[46,91],"pre-specified":[47],"expected":[48],"behavior":[49],"is":[51,61],"captured":[52],"by":[53],".":[57],"based":[62],"on":[63,114],"machine":[64],"learning-guided":[65],"fuzzing":[66],"tests":[68],"switch":[70,117],"non-intrusively,":[71],"i.e.,":[72],"without":[73,152],"modifying":[74],"the":[75],"program":[77],"detecting":[79],"bugs.":[81,92],"This":[82],"enables":[83],"an":[84],"automated":[85],"real-time":[87],"localization":[88],"patching":[90],"used":[94],"prototype":[99],"to":[100],"detect":[101],"patch":[103],"existing":[104],"various":[107],"publicly":[108],"available":[109],"application":[111],"programs":[112],"deployed":[113],"two":[115],"different":[116],"platforms,":[118],"namely,":[119],"behavioral":[120],"model":[121],"(bmv2)":[122],"Tofino.":[124],"Our":[125],"evaluation":[126],"shows":[127],"significantly":[132],"outperforms":[133],"bug":[134],"detection":[135],"baselines":[136],"while":[137],"generating":[138],"fewer":[139],"packets":[140],"large":[145],"programs,":[147],"e.g.,":[148],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">switch.p4</monospace>":[151],"triggering":[153],"any":[154],"regressions.":[155]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}