{"id":"https://openalex.org/W2547314365","doi":"https://doi.org/10.1145/3005745.3005754","title":"Automatic Synthesis of NF Models by Program Analysis","display_name":"Automatic Synthesis of NF Models by Program Analysis","publication_year":2016,"publication_date":"2016-11-02","ids":{"openalex":"https://openalex.org/W2547314365","doi":"https://doi.org/10.1145/3005745.3005754","mag":"2547314365"},"language":"en","primary_location":{"id":"doi:10.1145/3005745.3005754","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3005745.3005754","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM Workshop on Hot Topics in Networks","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/A5031365162","display_name":"Wenfei Wu","orcid":"https://orcid.org/0000-0002-1357-3137"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wenfei Wu","raw_affiliation_strings":["Hewlett Packard Labs"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett Packard Labs","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100386104","display_name":"Ying Zhang","orcid":"https://orcid.org/0000-0002-2674-1638"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ying Zhang","raw_affiliation_strings":["Hewlett Packard Labs"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett Packard Labs","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102914855","display_name":"Sujata Banerjee","orcid":"https://orcid.org/0000-0002-2423-7665"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sujata Banerjee","raw_affiliation_strings":["Hewlett Packard Labs"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett Packard Labs","institution_ids":["https://openalex.org/I1324840837"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1324840837"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":null,"first_page":"29","last_page":"35"},"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.9995999932289124,"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.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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.9991000294685364,"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.6090657711029053}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6090657711029053}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3005745.3005754","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3005745.3005754","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W13301077","https://openalex.org/W95608104","https://openalex.org/W136694243","https://openalex.org/W223955670","https://openalex.org/W766097457","https://openalex.org/W1604234259","https://openalex.org/W1675033504","https://openalex.org/W1710734607","https://openalex.org/W1882012874","https://openalex.org/W1984248430","https://openalex.org/W2010365467","https://openalex.org/W2011316745","https://openalex.org/W2062596448","https://openalex.org/W2092483417","https://openalex.org/W2121204404","https://openalex.org/W2123372830","https://openalex.org/W2137530017","https://openalex.org/W2139659182","https://openalex.org/W2144241614","https://openalex.org/W2144344516","https://openalex.org/W2155216527","https://openalex.org/W2238733810","https://openalex.org/W2289285710","https://openalex.org/W2296618620","https://openalex.org/W2305888825","https://openalex.org/W2308109111","https://openalex.org/W2334220851","https://openalex.org/W2339906640","https://openalex.org/W2612336448","https://openalex.org/W2912516925","https://openalex.org/W2913256667","https://openalex.org/W4231040899","https://openalex.org/W4244413641","https://openalex.org/W6622396664","https://openalex.org/W6664072704","https://openalex.org/W6689867567","https://openalex.org/W6696355809","https://openalex.org/W6696642037","https://openalex.org/W6697247179"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2093578348","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2766271392","https://openalex.org/W2350741829","https://openalex.org/W3004735627"],"abstract_inverted_index":{"Network":[0],"functions":[1],"(NFs),":[2],"like":[3],"firewall,":[4],"NAT,":[5],"IDS,":[6],"have":[7,38],"been":[8,39],"widely":[9],"deployed":[10],"in":[11,85],"today\u2019s":[12],"modern":[13],"networks.":[14],"However,":[15,46],"currently":[16],"there":[17,37],"is":[18],"no":[19],"standard":[20],"specification":[21],"or":[22],"modeling":[23],"language":[24],"that":[25],"can":[26],"accurately":[27],"describe":[28],"the":[29],"complexity":[30],"and":[31,52,78,99],"diversity":[32],"of":[33,106],"different":[34],"NFs.":[35],"Recently":[36],"research":[40],"efforts":[41],"to":[42,60,87],"propose":[43],"NF":[44,63,82],"models.":[45],"they":[47],"are":[48,108],"often":[49],"generated":[50],"manually":[51],"thus":[53],"error-prone.":[54],"This":[55],"paper":[56],"proposes":[57],"a":[58,70],"method":[59],"automatically":[61],"synthesize":[62],"models":[64],"via":[65],"program":[66,79],"analysis.":[67],"We":[68,92],"develop":[69],"tool":[71],"called":[72],"NFactor,":[73],"which":[74],"conducts":[75],"code":[76],"refactoring":[77],"slicing":[80],"on":[81,96],"source":[83],"code,":[84],"order":[86],"generate":[88],"its":[89,94,101],"forwarding":[90],"model.":[91],"demonstrate":[93],"usefulness":[95],"two":[97],"NFs":[98],"evaluate":[100],"correctness.":[102],"A":[103],"few":[104],"applications":[105],"NFactor":[107],"described,":[109],"including":[110],"network":[111],"verification.":[112]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}