{"id":"https://openalex.org/W7127405171","doi":"https://doi.org/10.1016/j.sysarc.2026.103732","title":"Series\u2013parallel-loop decompositions of control-flow graphs","display_name":"Series\u2013parallel-loop decompositions of control-flow graphs","publication_year":2026,"publication_date":"2026-02-03","ids":{"openalex":"https://openalex.org/W7127405171","doi":"https://doi.org/10.1016/j.sysarc.2026.103732"},"language":"en","primary_location":{"id":"doi:10.1016/j.sysarc.2026.103732","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysarc.2026.103732","pdf_url":null,"source":{"id":"https://openalex.org/S127660348","display_name":"Journal of Systems Architecture","issn_l":"1383-7621","issn":["1383-7621","1873-6165"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems Architecture","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.sysarc.2026.103732","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111361948","display_name":"Xuran Cai","orcid":"https://orcid.org/0009-0005-2626-5503"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Xuran Cai","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0005-2626-5503","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124934894","display_name":"Amir Kafshdar Goharshady","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Amir Kafshdar Goharshady","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124958596","display_name":"S. Hitarth","orcid":null},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"S. Hitarth","raw_affiliation_strings":["Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Clear Water Bay, New Territories, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Clear Water Bay, New Territories, Hong Kong","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086774411","display_name":"Chun Kit Lam","orcid":"https://orcid.org/0000-0002-8856-9095"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Chun Kit Lam","raw_affiliation_strings":["Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Clear Water Bay, New Territories, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Clear Water Bay, New Territories, Hong Kong","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5111361948"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":2540,"currency":"USD","value_usd":2540},"apc_paid":{"value":2540,"currency":"USD","value_usd":2540},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13908389,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"174","issue":null,"first_page":"103732","last_page":"103732"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.335999995470047,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.335999995470047,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.2614000141620636,"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/T10126","display_name":"Logic, programming, and type systems","score":0.18029999732971191,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/treewidth","display_name":"Treewidth","score":0.895799994468689},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.7524999976158142},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6496999859809875},{"id":"https://openalex.org/keywords/partial-k-tree","display_name":"Partial k-tree","score":0.544700026512146},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.5024999976158142},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4526999890804291},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4171999990940094},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.41659998893737793},{"id":"https://openalex.org/keywords/modular-decomposition","display_name":"Modular decomposition","score":0.39590001106262207}],"concepts":[{"id":"https://openalex.org/C132569581","wikidata":"https://www.wikidata.org/wiki/Q5067368","display_name":"Treewidth","level":5,"score":0.895799994468689},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8263999819755554},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.7524999976158142},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6496999859809875},{"id":"https://openalex.org/C128764233","wikidata":"https://www.wikidata.org/wiki/Q7140374","display_name":"Partial k-tree","level":5,"score":0.544700026512146},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.5024999976158142},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4991999864578247},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4526999890804291},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4171999990940094},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41659998893737793},{"id":"https://openalex.org/C187407849","wikidata":"https://www.wikidata.org/wiki/Q6889712","display_name":"Modular decomposition","level":5,"score":0.39590001106262207},{"id":"https://openalex.org/C3018234147","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Undirected graph","level":3,"score":0.3659000098705292},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.3544999957084656},{"id":"https://openalex.org/C160446614","wikidata":"https://www.wikidata.org/wiki/Q1322892","display_name":"Chordal graph","level":3,"score":0.353300005197525},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.3529999852180481},{"id":"https://openalex.org/C70501317","wikidata":"https://www.wikidata.org/wiki/Q462095","display_name":"Tree decomposition","level":5,"score":0.3440000116825104},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31619998812675476},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.31369999051094055},{"id":"https://openalex.org/C68103157","wikidata":"https://www.wikidata.org/wiki/Q569347","display_name":"Graph product","level":5,"score":0.30959999561309814},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.30469998717308044},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2888999879360199},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.27059999108314514},{"id":"https://openalex.org/C186942658","wikidata":"https://www.wikidata.org/wiki/Q5134410","display_name":"Clique-sum","level":5,"score":0.2619999945163727},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25690001249313354}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.sysarc.2026.103732","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysarc.2026.103732","pdf_url":null,"source":{"id":"https://openalex.org/S127660348","display_name":"Journal of Systems Architecture","issn_l":"1383-7621","issn":["1383-7621","1873-6165"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems Architecture","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2602.07627","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.07627","pdf_url":"https://arxiv.org/pdf/2602.07627","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-173835","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-173835","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"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":"Article"}],"best_oa_location":{"id":"doi:10.1016/j.sysarc.2026.103732","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.sysarc.2026.103732","pdf_url":null,"source":{"id":"https://openalex.org/S127660348","display_name":"Journal of Systems Architecture","issn_l":"1383-7621","issn":["1383-7621","1873-6165"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Systems Architecture","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5149610409","display_name":null,"funder_award_id":"FY24-1793","funder_id":"https://openalex.org/F4320329018","funder_display_name":"Ethereum Foundation"},{"id":"https://openalex.org/G6420558274","display_name":null,"funder_award_id":"101222524","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320329018","display_name":"Ethereum Foundation","ror":null},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W807791927","https://openalex.org/W1983860528","https://openalex.org/W1989556004","https://openalex.org/W2002722727","https://openalex.org/W2003021478","https://openalex.org/W2028357390","https://openalex.org/W2029448190","https://openalex.org/W2032926330","https://openalex.org/W2087086761","https://openalex.org/W2089688060","https://openalex.org/W2118263004","https://openalex.org/W2124975552","https://openalex.org/W2140191557","https://openalex.org/W2144344516","https://openalex.org/W2896898580","https://openalex.org/W2918527871","https://openalex.org/W2962770763","https://openalex.org/W2974843954","https://openalex.org/W2989189770","https://openalex.org/W3032226677","https://openalex.org/W3099525000","https://openalex.org/W4230551286","https://openalex.org/W4362659518","https://openalex.org/W4387667086","https://openalex.org/W4387673899","https://openalex.org/W4403223198","https://openalex.org/W4405597966"],"related_works":[],"abstract_inverted_index":{"Control-flow":[0],"graphs":[1,65,89,112],"(CFGs)":[2],"of":[3,31,53,88,110,125,135,175],"structured":[4,57,115],"programs":[5],"are":[6,81],"well":[7],"known":[8],"to":[9,180],"exhibit":[10],"strong":[11],"sparsity":[12,16],"properties.":[13],"Traditionally,":[14],"this":[15,96,139],"has":[17,59],"been":[18],"modeled":[19],"using":[20,176],"graph":[21],"parameters":[22,47],"such":[23],"as":[24,73],"treewidth":[25,60,67],"and":[26,42,127,153],"pathwidth,":[27],"enabling":[28],"the":[29,50,108,122,132,173],"development":[30],"faster":[32],"parameterized":[33,79],"algorithms":[34,144],"for":[35,83,145],"tasks":[36],"in":[37,93],"compiler":[38,148],"optimization,":[39],"model":[40],"checking,":[41],"program":[43],"analysis.":[44],"However,":[45],"these":[46],"only":[48],"approximate":[49],"structural":[51],"constraints":[52],"CFGs:":[54],"although":[55],"every":[56],"CFG":[58],"at":[61,68],"most":[62,69],"7,":[63],"many":[64],"with":[66,131],"7":[70],"cannot":[71],"arise":[72],"CFGs.":[74,181],"As":[75],"a":[76,84,100],"result,":[77],"existing":[78],"techniques":[80],"optimized":[82],"substantially":[85],"broader":[86],"class":[87,109],"than":[90],"those":[91],"encountered":[92],"practice.":[94],"In":[95],"work,":[97],"we":[98,141],"introduce":[99],"new":[101],"grammar-based":[102],"decomposition":[103,118],"framework":[104],"that":[105],"characterizes":[106],"exactly":[107],"control-flow":[111],"generated":[113],"by":[114],"programs.":[116],"Our":[117],"is":[119],"intuitive,":[120],"mirrors":[121],"syntactic":[123],"structure":[124],"programs,":[126],"remains":[128],"fully":[129],"compatible":[130],"dynamic-programming":[133],"paradigm":[134],"treewidth-based":[136],"methods.":[137],"Using":[138],"framework,":[140],"design":[142],"improved":[143],"two":[146],"classical":[147],"optimization":[149],"problems:":[150],"Register":[151],"Allocation":[152],"Lifetime-Optimal":[154],"Speculative":[155],"Partial":[156],"Redundancy":[157],"Elimination":[158],"(LOSPRE)":[159],".":[160],"Extensive":[161],"experimental":[162],"evaluation":[163],"demonstrates":[164],"significant":[165],"performance":[166],"improvements":[167],"over":[168],"previous":[169],"state-of-the-art":[170],"approaches,":[171],"highlighting":[172],"benefits":[174],"decompositions":[177],"tailored":[178],"specifically":[179]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2026-02-04T00:00:00"}