{"id":"https://openalex.org/W4381741310","doi":"https://doi.org/10.1145/3605952","title":"Kaki: Efficient Concurrent Update Synthesis for SDN","display_name":"Kaki: Efficient Concurrent Update Synthesis for SDN","publication_year":2023,"publication_date":"2023-06-23","ids":{"openalex":"https://openalex.org/W4381741310","doi":"https://doi.org/10.1145/3605952"},"language":"en","primary_location":{"id":"doi:10.1145/3605952","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605952","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605952","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3605952","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045203434","display_name":"Nicklas Slorup Johansen","orcid":"https://orcid.org/0009-0004-5879-9780"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Nicklas S. Johansen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018790691","display_name":"Lasse Brink K\u00e6r","orcid":"https://orcid.org/0009-0009-1121-6847"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lasse B. K\u00e6r","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042904435","display_name":"Andreas Leicht Madsen","orcid":"https://orcid.org/0009-0007-5073-1660"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andreas L. Madsen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084041566","display_name":"Kristian \u00d8dum Nielsen","orcid":"https://orcid.org/0009-0003-4112-558X"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kristian \u00d8. Nielsen","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009728620","display_name":"Ji\u0159\u0131\u0301 Srba","orcid":"https://orcid.org/0000-0001-5551-6547"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ji\u0159\u00ed Srba","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010484485","display_name":"Rasmus Gr\u00f8nkj\u00e6r Tollund","orcid":"https://orcid.org/0009-0001-9829-366X"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Rasmus G. Tollund","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5045203434"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":0.1997,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48323189,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"35","issue":"3","first_page":"1","last_page":"22"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9944000244140625,"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.993399977684021,"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.8358654379844666},{"id":"https://openalex.org/keywords/chaining","display_name":"Chaining","score":0.7350975275039673},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5975040197372437},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5263922214508057},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.45511630177497864},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.41106608510017395},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33584079146385193}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8358654379844666},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.7350975275039673},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5975040197372437},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5263922214508057},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.45511630177497864},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.41106608510017395},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33584079146385193},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3605952","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605952","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605952","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/cacc4db9-1177-410a-9c54-ebe57d541c8a","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/cacc4db9-1177-410a-9c54-ebe57d541c8a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Johansen, N S, K\u00e6r, L B, Madsen, A L, Nielsen, K \u00d8, Srba, J & Tollund, R G 2023, 'Kaki : Efficient Concurrent Update Synthesis for SDN', Formal Aspects of Computing, vol. 35, no. 3, 20, pp. 1-22. https://doi.org/10.1145/3605952","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/cacc4db9-1177-410a-9c54-ebe57d541c8a","is_oa":true,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85174710489&partnerID=8YFLogxK","pdf_url":"https://vbn.aau.dk/ws/files/645432956/3605952.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Johansen, N S, K\u00e6r, L B, Madsen, A L, Nielsen, K \u00d8, Srba, J & Tollund, R G 2023, 'Kaki : Efficient Concurrent Update Synthesis for SDN', Formal Aspects of Computing, vol. 35, no. 3, 20, pp. 1-22. https://doi.org/10.1145/3605952","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3605952","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605952","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605952","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4381741310.pdf","grobid_xml":"https://content.openalex.org/works/W4381741310.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W160689082","https://openalex.org/W1964393599","https://openalex.org/W1996109622","https://openalex.org/W2013623917","https://openalex.org/W2091307059","https://openalex.org/W2118404561","https://openalex.org/W2149236835","https://openalex.org/W2160615184","https://openalex.org/W2169246522","https://openalex.org/W2415404324","https://openalex.org/W2470756317","https://openalex.org/W2512806456","https://openalex.org/W2786499672","https://openalex.org/W2789221435","https://openalex.org/W3009075947","https://openalex.org/W3037981738","https://openalex.org/W3103142336","https://openalex.org/W3166300667","https://openalex.org/W3187890719","https://openalex.org/W4285210891","https://openalex.org/W4285214247","https://openalex.org/W4286571694","https://openalex.org/W4393415237","https://openalex.org/W4393729602"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1995270367","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2767696758","https://openalex.org/W791317142","https://openalex.org/W4387627836","https://openalex.org/W2615184401"],"abstract_inverted_index":{"Modern":[0],"computer":[1],"networks":[2,168],"based":[3,63,119],"on":[4,120,151,162],"the":[5,40,49,93,137,144,170,179],"software-defined":[6],"networking":[7],"(SDN)":[8],"paradigm":[9],"are":[10,33],"becoming":[11],"increasingly":[12],"complex":[13],"and":[14,38,99,103,127,183,194],"often":[15],"require":[16],"frequent":[17],"configuration":[18,41],"changes":[19],"in":[20,75,136],"order":[21,108],"to":[22,24,91,109,196],"react":[23],"traffic":[25],"fluctuations.":[26],"It":[27],"is":[28],"essential":[29],"that":[30,131,176],"forwarding":[31,82],"policies":[32],"preserved":[34],"not":[35],"only":[36],"before":[37],"after":[39],"update":[42,188,205],"but":[43],"also":[44],"at":[45,207],"any":[46],"moment":[47],"during":[48],"inherently":[50],"distributed":[51],"execution":[52],"of":[53,68,96,129,146,166],"such":[54],"an":[55],"update.":[56],"We":[57],"present":[58],"Kaki,":[59,149],"a":[60,79,163],"Petri":[61,156],"game":[62],"tool":[64,148],"for":[65,155],"automatic":[66],"synthesis":[67,189],"switch":[69],"batches":[70,98],"which":[71],"can":[72,132],"be":[73,133],"updated":[74,135],"parallel":[76],"without":[77],"violating":[78],"given":[80],"(regular)":[81],"policy":[83],"like":[84],"waypointing":[85],"or":[86],"service":[87],"chaining.":[88],"Kaki":[89,177,185],"guarantees":[90],"find":[92],"minimum":[94],"number":[95],"concurrent":[97,187,204],"supports":[100],"both":[101],"splittable":[102],"nonsplittable":[104],"flow":[105],"forwarding.":[106],"In":[107],"achieve":[110],"optimal":[111],"performance,":[112],"we":[113],"introduce":[114],"two":[115],"novel":[116],"optimisation":[117],"techniques":[118,141],"static":[121],"analysis:":[122],"decomposition":[123],"into":[124],"independent":[125],"subproblems":[126],"identification":[128],"switches":[130],"collectively":[134],"same":[138],"batch.":[139],"These":[140],"considerably":[142],"improve":[143],"performance":[145],"our":[147],"relying":[150],"TAPAAL\u2019s":[152],"verification":[153],"engine":[154],"games":[157],"as":[158],"its":[159],"backend.":[160],"Experiments":[161],"large":[164],"benchmark":[165],"real":[167],"from":[169],"Internet":[171],"Topology":[172],"Zoo":[173],"database":[174],"demonstrate":[175],"outperforms":[178],"state-of-the-art":[180],"tools":[181],"Netstack":[182,193],"FLIP.":[184],"computes":[186],"significantly":[190],"faster":[191],"than":[192],"compared":[195],"FLIP,":[197],"it":[198],"provides":[199],"shorter":[200],"(and":[201],"provably":[202],"optimal)":[203],"sequences":[206],"similar":[208],"runtimes.":[209]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}