{"id":"https://openalex.org/W3156949712","doi":"https://doi.org/10.1109/infocom42981.2021.9488772","title":"Fix with P6: Verifying Programmable Switches at Runtime","display_name":"Fix with P6: Verifying Programmable Switches at Runtime","publication_year":2021,"publication_date":"2021-05-10","ids":{"openalex":"https://openalex.org/W3156949712","doi":"https://doi.org/10.1109/infocom42981.2021.9488772","mag":"3156949712"},"language":"en","primary_location":{"id":"doi:10.1109/infocom42981.2021.9488772","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom42981.2021.9488772","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2021 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},"type":"conference-paper","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/A5077524463","display_name":"Apoorv Shukla","orcid":"https://orcid.org/0000-0003-4780-9512"},"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"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Apoorv Shukla","raw_affiliation_strings":["Huawei Munich Research Center"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Munich Research Center","institution_ids":["https://openalex.org/I4210166625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112460835","display_name":"Kevin Nico Hudemann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kevin Hudemann","raw_affiliation_strings":["SAP"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SAP","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079286245","display_name":"Zsolt V\u00e1gi","orcid":null},"institutions":[{"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"],"is_corresponding":false,"raw_author_name":"Zsolt Vagi","raw_affiliation_strings":["Swisscom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Swisscom","institution_ids":["https://openalex.org/I59105498"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042725728","display_name":"Lily H\u00fcgerich","orcid":null},"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 Hugerich","raw_affiliation_strings":["TU Berlin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Berlin","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/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":"Georgios Smaragdakis","raw_affiliation_strings":["MPI-Informatics","TU Berlin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MPI-Informatics","institution_ids":[]},{"raw_affiliation_string":"TU Berlin","institution_ids":["https://openalex.org/I4577782"]}]},{"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"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Artur Hecker","raw_affiliation_strings":["Huawei Munich Research Center"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Huawei Munich Research Center","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/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Schmid","raw_affiliation_strings":["Faculty of Computer Science, University of Vienna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, University of Vienna","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027274731","display_name":"Anja Feldmann","orcid":"https://orcid.org/0000-0002-5530-6993"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anja Feldmann","raw_affiliation_strings":["MPI-Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MPI-Informatics","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"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.9998999834060669,"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.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9991999864578247,"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/fuzz-testing","display_name":"Fuzz testing","score":0.9186587333679199},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.855931282043457},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.807015061378479},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5810688734054565},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.49650484323501587},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.451822966337204},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.37740558385849},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35438618063926697}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9186587333679199},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.855931282043457},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.807015061378479},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5810688734054565},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.49650484323501587},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.451822966337204},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.37740558385849},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35438618063926697}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/infocom42981.2021.9488772","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom42981.2021.9488772","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2021 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W41554520","https://openalex.org/W170186487","https://openalex.org/W1757796397","https://openalex.org/W1994926493","https://openalex.org/W2042033151","https://openalex.org/W2101819268","https://openalex.org/W2121863487","https://openalex.org/W2122410182","https://openalex.org/W2134519279","https://openalex.org/W2155968351","https://openalex.org/W2162045655","https://openalex.org/W2201581102","https://openalex.org/W2521536125","https://openalex.org/W2574017551","https://openalex.org/W2604667416","https://openalex.org/W2623293810","https://openalex.org/W2746553466","https://openalex.org/W2766864503","https://openalex.org/W2791671434","https://openalex.org/W2792493146","https://openalex.org/W2795192879","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2902440776","https://openalex.org/W2918935582","https://openalex.org/W2963154302","https://openalex.org/W2963477884","https://openalex.org/W2967385474","https://openalex.org/W2983700260","https://openalex.org/W2991458367","https://openalex.org/W2998011150","https://openalex.org/W3010028148","https://openalex.org/W3034136400","https://openalex.org/W3092462896","https://openalex.org/W4243127898","https://openalex.org/W4298857966","https://openalex.org/W6606921564","https://openalex.org/W6637967152","https://openalex.org/W6687681856","https://openalex.org/W6735892469","https://openalex.org/W6746060996","https://openalex.org/W6759911528","https://openalex.org/W6784617427","https://openalex.org/W7072084203"],"related_works":["https://openalex.org/W2061417947","https://openalex.org/W614438062","https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W4226494072","https://openalex.org/W4205454537","https://openalex.org/W4381785649","https://openalex.org/W3173990398","https://openalex.org/W4385301282","https://openalex.org/W3170526652"],"abstract_inverted_index":{"We":[0,70],"design,":[1],"develop,":[2],"and":[3,14,63,66,77,97,113],"evaluate":[4],"P6,":[5],"an":[6,61],"automated":[7,62],"approach":[8],"to":[9,75],"(a)":[10],"detect,":[11],"(b)":[12],"localize,":[13],"(c)":[15],"patch":[16,78],"software":[17],"bugs":[18,80,115],"in":[19,81,116],"P4":[20,46,53,85,118],"programs.":[21],"Bugs":[22],"are":[23],"reported":[24],"via":[25],"a":[26,72],"violation":[27],"of":[28,68],"pre-specified":[29],"expected":[30],"behavior":[31],"that":[32,44,102],"is":[33,38],"captured":[34],"by":[35],"P6.":[36],"P6":[37,73,103],"based":[39],"on":[40,89],"machine":[41],"learning-guided":[42],"fuzzing":[43],"tests":[45],"switch":[47,92],"non-intrusively,":[48],"i.e.,":[49],"without":[50,123],"modifying":[51],"the":[52],"program":[54],"for":[55],"detecting":[56],"runtime":[57],"bugs.":[58,69],"This":[59],"enables":[60],"real-time":[64],"localization":[65],"patching":[67],"used":[71],"prototype":[74],"detect":[76],"existing":[79],"various":[82],"publicly":[83],"available":[84],"application":[86],"programs":[87,119],"deployed":[88],"two":[90],"different":[91],"platforms:":[93],"behavioral":[94],"model":[95],"(bmv2)":[96],"Tofino.":[98],"Our":[99],"evaluation":[100],"shows":[101],"significantly":[104],"outperforms":[105],"bug":[106],"detection":[107],"baselines":[108],"while":[109],"generating":[110],"fewer":[111],"packets":[112],"patches":[114],"large":[117],"such":[120],"as":[121],"switch.p4":[122],"triggering":[124],"any":[125],"regressions.":[126]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}