{"id":"https://openalex.org/W2079715629","doi":"https://doi.org/10.1109/tnsm.2015.2419975","title":"Controlling Race Conditions in OpenFlow to Accelerate Application Verification and Packet Forwarding","display_name":"Controlling Race Conditions in OpenFlow to Accelerate Application Verification and Packet Forwarding","publication_year":2015,"publication_date":"2015-04-06","ids":{"openalex":"https://openalex.org/W2079715629","doi":"https://doi.org/10.1109/tnsm.2015.2419975","mag":"2079715629"},"language":"en","primary_location":{"id":"doi:10.1109/tnsm.2015.2419975","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2015.2419975","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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 Transactions on Network and Service Management","raw_type":"journal-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/A5048660367","display_name":"Xiaoye Steven Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xiaoye Steven Sun","raw_affiliation_strings":["the Department of Electrical and Computer Engineering, Rice University, Houston, TX, USA","Dept. of Electr. & Comput. Eng., Rice Univ., Houston, TX, USA"],"affiliations":[{"raw_affiliation_string":"the Department of Electrical and Computer Engineering, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng., Rice Univ., Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102481379","display_name":"Apoorv Agarwal","orcid":null},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Apoorv Agarwal","raw_affiliation_strings":["the Department of Computer Science, Rice University, Houston, TX, USA","Dept. of Comput. Sci., Rice Univ., Houston, TX, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"the Department of Computer Science, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Rice Univ., Houston, TX, USA#TAB#","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075120727","display_name":"T. S. Eugene Ng","orcid":"https://orcid.org/0000-0003-2954-0767"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"T. S. Eugene Ng","raw_affiliation_strings":["the Department of Computer Science, Rice University, Houston, TX, USA","Dept. of Comput. Sci., Rice Univ., Houston, TX, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"the Department of Computer Science, Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Rice Univ., Houston, TX, USA#TAB#","institution_ids":["https://openalex.org/I74775410"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048660367"],"corresponding_institution_ids":["https://openalex.org/I74775410"],"apc_list":null,"apc_paid":null,"fwci":0.7007,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.75513688,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"12","issue":"2","first_page":"263","last_page":"277"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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":1.0,"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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9966999888420105,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9962999820709229,"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/openflow","display_name":"OpenFlow","score":0.9639450311660767},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8746988773345947},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.7387944459915161},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.633783757686615},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.6256552338600159},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5821505188941956},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.4780212640762329},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4778722822666168},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.08924007415771484}],"concepts":[{"id":"https://openalex.org/C192697461","wikidata":"https://www.wikidata.org/wiki/Q4045918","display_name":"OpenFlow","level":3,"score":0.9639450311660767},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8746988773345947},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.7387944459915161},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.633783757686615},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.6256552338600159},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5821505188941956},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.4780212640762329},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4778722822666168},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.08924007415771484},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tnsm.2015.2419975","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2015.2419975","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"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 Transactions on Network and Service Management","raw_type":"journal-article"},{"id":"pmh:oai:scholarship.rice.edu:1911/88170","is_oa":false,"landing_page_url":"http://hdl.handle.net/1911/88170","pdf_url":null,"source":{"id":"https://openalex.org/S4306401268","display_name":"Rice Digital Scholarship Archive (Rice University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I74775410","host_organization_name":"Rice University","host_organization_lineage":["https://openalex.org/I74775410"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W85890223","https://openalex.org/W158224344","https://openalex.org/W1491798314","https://openalex.org/W1583113493","https://openalex.org/W1675033504","https://openalex.org/W1697123834","https://openalex.org/W2022758041","https://openalex.org/W2047339217","https://openalex.org/W2098081907","https://openalex.org/W2106170354","https://openalex.org/W2115546448","https://openalex.org/W2120561608","https://openalex.org/W2120900812","https://openalex.org/W2122695394","https://openalex.org/W2124430419","https://openalex.org/W2126822952","https://openalex.org/W2126969025","https://openalex.org/W2129424879","https://openalex.org/W2130531694","https://openalex.org/W2137838113","https://openalex.org/W2137845741","https://openalex.org/W2147988325","https://openalex.org/W2148994573","https://openalex.org/W2149236835","https://openalex.org/W2155624544","https://openalex.org/W2162597606","https://openalex.org/W2163769126","https://openalex.org/W2163961697","https://openalex.org/W2164336170","https://openalex.org/W2164740236","https://openalex.org/W2168595508","https://openalex.org/W2613694343","https://openalex.org/W2753576349","https://openalex.org/W4238465620","https://openalex.org/W4255282609","https://openalex.org/W4297816311","https://openalex.org/W6603450653","https://openalex.org/W6606536520","https://openalex.org/W6629507413","https://openalex.org/W6634767497","https://openalex.org/W6637389031","https://openalex.org/W6681864403","https://openalex.org/W6682894363","https://openalex.org/W6684084819","https://openalex.org/W6684402220"],"related_works":["https://openalex.org/W2051935741","https://openalex.org/W4211055425","https://openalex.org/W2292300552","https://openalex.org/W4243609393","https://openalex.org/W3042077637","https://openalex.org/W2560450376","https://openalex.org/W2738801488","https://openalex.org/W2508315983","https://openalex.org/W2901563743","https://openalex.org/W2772741848"],"abstract_inverted_index":{"OpenFlow":[0,44,78,90,111],"is":[1,9],"a":[2],"Software":[3],"Defined":[4],"Networking":[5],"(SDN)":[6],"protocol":[7,45],"that":[8,35,115],"being":[10],"deployed":[11],"in":[12,23,89,96],"many":[13,49],"network":[14],"systems.":[15],"SDN":[16],"application":[17,36],"verification":[18,37,119],"takes":[19],"an":[20,77],"important":[21],"role":[22],"guaranteeing":[24],"the":[25,28,43,53,66,82,86],"correctness":[26],"of":[27,85,124],"application.":[29],"Through":[30],"our":[31],"investigation,":[32],"we":[33],"discover":[34],"can":[38,117],"be":[39],"very":[40],"inefficient":[41],"under":[42],"since":[46],"there":[47],"are":[48],"race":[50,62,87],"conditions":[51,63,88],"between":[52],"data":[54],"packets":[55],"and":[56,70,108,126],"control":[57,67],"plane":[58,68],"messages.":[59],"Furthermore,":[60],"these":[61],"also":[64],"increase":[65],"workload":[69],"packet":[71],"forwarding":[72],"delay.":[73],"We":[74,92],"propose":[75],"Attendre,":[76],"extension,":[79],"to":[80],"mitigate":[81],"ill":[83],"effects":[84],"networks.":[91],"have":[93],"implemented":[94],"Attendre":[95,116],"NICE":[97],"(a":[98,104],"model":[99],"checking":[100],"verifier),":[101],"Open":[102],"vSwitch":[103],"software":[105],"virtual":[106],"switch),":[107],"NOX":[109],"(an":[110],"controller).":[112],"Experiments":[113],"show":[114],"reduce":[118,128],"time":[120],"by":[121],"several":[122],"orders":[123],"magnitude,":[125],"significantly":[127],"TCP":[129],"connection":[130],"setup":[131],"time.":[132]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}