{"id":"https://openalex.org/W3091055609","doi":"https://doi.org/10.1145/3416510","title":"Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs","display_name":"Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs","publication_year":2020,"publication_date":"2020-09-30","ids":{"openalex":"https://openalex.org/W3091055609","doi":"https://doi.org/10.1145/3416510","mag":"3091055609"},"language":"en","primary_location":{"id":"doi:10.1145/3416510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3416510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3416510","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3416510","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043226674","display_name":"Aravind Acharya","orcid":null},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Aravind Acharya","raw_affiliation_strings":["Indian Institute of Science, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025342111","display_name":"Uday Bondhugula","orcid":"https://orcid.org/0000-0002-8297-6159"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Uday Bondhugula","raw_affiliation_strings":["Indian Institute of Science, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063162788","display_name":"Albert Cohen","orcid":"https://orcid.org/0000-0002-8866-5343"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Albert Cohen","raw_affiliation_strings":["Google, France"],"raw_orcid":"https://orcid.org/0000-0002-8866-5343","affiliations":[{"raw_affiliation_string":"Google, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5043226674"],"corresponding_institution_ids":["https://openalex.org/I59270414"],"apc_list":null,"apc_paid":null,"fwci":1.65,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.840688,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"17","issue":"4","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.994700014591217,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.994700014591217,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9922999739646912,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9751999974250793,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/loop-fission","display_name":"Loop fission","score":0.7771567106246948},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7268567085266113},{"id":"https://openalex.org/keywords/loop-fusion","display_name":"Loop fusion","score":0.6962304711341858},{"id":"https://openalex.org/keywords/polytope-model","display_name":"Polytope model","score":0.6796451807022095},{"id":"https://openalex.org/keywords/nested-loop-join","display_name":"Nested loop join","score":0.6286547780036926},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.587649405002594},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5695517659187317},{"id":"https://openalex.org/keywords/fusion","display_name":"Fusion","score":0.5243820548057556},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.49028900265693665},{"id":"https://openalex.org/keywords/pluto","display_name":"Pluto","score":0.421572744846344},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39939042925834656},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3205069899559021},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17784708738327026},{"id":"https://openalex.org/keywords/polytope","display_name":"Polytope","score":0.1335049867630005},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.1157771646976471}],"concepts":[{"id":"https://openalex.org/C134718785","wikidata":"https://www.wikidata.org/wiki/Q6675821","display_name":"Loop fission","level":3,"score":0.7771567106246948},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7268567085266113},{"id":"https://openalex.org/C82653869","wikidata":"https://www.wikidata.org/wiki/Q6675821","display_name":"Loop fusion","level":3,"score":0.6962304711341858},{"id":"https://openalex.org/C113391598","wikidata":"https://www.wikidata.org/wiki/Q1681391","display_name":"Polytope model","level":3,"score":0.6796451807022095},{"id":"https://openalex.org/C1306188","wikidata":"https://www.wikidata.org/wiki/Q4060687","display_name":"Nested loop join","level":2,"score":0.6286547780036926},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.587649405002594},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5695517659187317},{"id":"https://openalex.org/C158525013","wikidata":"https://www.wikidata.org/wiki/Q2593739","display_name":"Fusion","level":2,"score":0.5243820548057556},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.49028900265693665},{"id":"https://openalex.org/C2780263841","wikidata":"https://www.wikidata.org/wiki/Q339","display_name":"Pluto","level":2,"score":0.421572744846344},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39939042925834656},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3205069899559021},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17784708738327026},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.1335049867630005},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.1157771646976471},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C87355193","wikidata":"https://www.wikidata.org/wiki/Q411","display_name":"Astrobiology","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3416510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3416510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3416510","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},{"id":"pmh:oai::79025","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401429","display_name":"ePrints@IISc (Indian Institute of Science)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I59270414","host_organization_name":"Indian Institute of Science Bangalore","host_organization_lineage":["https://openalex.org/I59270414"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:arXiv.org:2108.13342","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2108.13342","pdf_url":"https://arxiv.org/pdf/2108.13342","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3416510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3416510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3416510","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4000000059604645}],"awards":[],"funders":[{"id":"https://openalex.org/F4320309424","display_name":"Thomas F. and Kate Miller Jeffress Memorial Trust","ror":"https://ror.org/006tvg625"},{"id":"https://openalex.org/F4320310071","display_name":"Indian Institute of Science","ror":"https://ror.org/04dese585"},{"id":"https://openalex.org/F4320313934","display_name":"Institut national de recherche en informatique et en automatique (INRIA)","ror":"https://ror.org/02kvxyf05"},{"id":"https://openalex.org/F4320321027","display_name":"Indo-French Centre for the Promotion of Advanced Research","ror":"https://ror.org/017aem598"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3091055609.pdf","grobid_xml":"https://content.openalex.org/works/W3091055609.grobid-xml"},"referenced_works_count":90,"referenced_works":["https://openalex.org/W24089286","https://openalex.org/W288065879","https://openalex.org/W639708223","https://openalex.org/W1522734439","https://openalex.org/W1585431278","https://openalex.org/W1585509108","https://openalex.org/W1686810756","https://openalex.org/W1861492603","https://openalex.org/W1901129140","https://openalex.org/W1969152955","https://openalex.org/W1970141743","https://openalex.org/W1991009705","https://openalex.org/W2002999142","https://openalex.org/W2009725282","https://openalex.org/W2034761517","https://openalex.org/W2036055954","https://openalex.org/W2039227678","https://openalex.org/W2049487370","https://openalex.org/W2051305716","https://openalex.org/W2055312318","https://openalex.org/W2056304566","https://openalex.org/W2059564324","https://openalex.org/W2069996154","https://openalex.org/W2073866852","https://openalex.org/W2077143534","https://openalex.org/W2084917734","https://openalex.org/W2108598243","https://openalex.org/W2133025798","https://openalex.org/W2146163384","https://openalex.org/W2167090521","https://openalex.org/W2168231600","https://openalex.org/W2172073571","https://openalex.org/W2294680426","https://openalex.org/W2318529993","https://openalex.org/W2337546824","https://openalex.org/W2340604309","https://openalex.org/W2471164860","https://openalex.org/W2511242544","https://openalex.org/W2528222261","https://openalex.org/W2585098096","https://openalex.org/W2590246587","https://openalex.org/W2786320458","https://openalex.org/W2788111881","https://openalex.org/W2788464413","https://openalex.org/W2799269451","https://openalex.org/W2804032941","https://openalex.org/W2804500013","https://openalex.org/W2883429621","https://openalex.org/W2896457183","https://openalex.org/W2902032143","https://openalex.org/W2905135312","https://openalex.org/W2942460556","https://openalex.org/W2953384591","https://openalex.org/W2955053021","https://openalex.org/W2955425717","https://openalex.org/W2964054286","https://openalex.org/W2978017171","https://openalex.org/W2981758446","https://openalex.org/W2983923412","https://openalex.org/W2986591322","https://openalex.org/W2996428491","https://openalex.org/W3007772124","https://openalex.org/W3008010570","https://openalex.org/W3012085932","https://openalex.org/W3018757597","https://openalex.org/W3038006402","https://openalex.org/W3091055609","https://openalex.org/W3091900426","https://openalex.org/W3097044926","https://openalex.org/W3097841484","https://openalex.org/W3104849992","https://openalex.org/W3105966348","https://openalex.org/W3106250896","https://openalex.org/W4231316372","https://openalex.org/W4232913067","https://openalex.org/W4233558979","https://openalex.org/W4235363020","https://openalex.org/W4237521714","https://openalex.org/W4238138329","https://openalex.org/W4249977307","https://openalex.org/W4255450819","https://openalex.org/W4255560897","https://openalex.org/W4256701974","https://openalex.org/W4293872671","https://openalex.org/W4295312788","https://openalex.org/W4295539146","https://openalex.org/W4297756208","https://openalex.org/W4297810223","https://openalex.org/W4299846067","https://openalex.org/W4300706075"],"related_works":["https://openalex.org/W2074495974","https://openalex.org/W2040522199","https://openalex.org/W2114948246","https://openalex.org/W2052992886","https://openalex.org/W2080027614","https://openalex.org/W2017719803","https://openalex.org/W3091055609","https://openalex.org/W2012571849","https://openalex.org/W2727330431","https://openalex.org/W1543710109"],"abstract_inverted_index":{"Polyhedral":[0],"auto-transformation":[1,102],"frameworks":[2,83],"are":[3,22],"known":[4],"to":[5,30,49,133,151,162],"find":[6],"efficient":[7,207],"loop":[8,20,37,43,66,69,76,112,136,144],"transformations":[9,21,67,208],"that":[10,195,209],"maximize":[11,50],"locality":[12,51],"and":[13,15,52,72,88,178,212,219,231],"parallelism":[14],"minimize":[16],"synchronization.":[17],"While":[18],"complex":[19],"routinely":[23],"modeled":[24],"in":[25,138,200],"these":[26,54],"frameworks,":[27],"they":[28],"tend":[29],"rely":[31],"on":[32],"ad":[33],"hoc":[34],"heuristics":[35,78,114],"for":[36],"fusion.":[38],"Although":[39],"there":[40],"exist":[41],"multiple":[42],"fusion":[44,77,113,126,137,169,173,176,180,198],"models":[45,55],"with":[46,64,202,222],"cost":[47,204],"functions":[48],"parallelism,":[53],"involve":[56],"separate":[57],"optimization":[58],"steps":[59],"rather":[60],"than":[61],"seamlessly":[62],"integrating":[63],"other":[65,142],"like":[68,84],"permutation,":[70],"scaling,":[71],"shifting.":[73],"Incorporating":[74],"parallelism-preserving":[75],"into":[79,115],"existing":[80],"affine":[81,143],"transformation":[82],"Pluto,":[85],"LLVM-Polly,":[86],"PPCG,":[87],"PoCC":[89,211,230],"requires":[90],"solving":[91],"a":[92,121,148,223],"large":[93],"number":[94],"of":[95,141,155,188,217,227],"Integer":[96],"Linear":[97],"Programming":[98],"formulations,":[99],"which":[100,130,158],"increase":[101],"times":[103],"significantly.":[104],"In":[105],"this":[106],"work,":[107],"we":[108],"incorporate":[109],"polynomial":[110,166],"time":[111,167,186],"the":[116,125,139,153,156,184,196],"Pluto-lp-dfp":[117,189],"framework.":[118],"We":[119,146],"present":[120],"data":[122],"structure":[123],"called":[124],"conflict":[127],"graph":[128],"(FCG),":[129],"enables":[131,160],"us":[132,161],"efficiently":[134],"model":[135],"presence":[140],"transformations.":[145],"propose":[147],"clustering":[149],"heuristic":[150],"group":[152],"vertices":[154],"FCG,":[157],"further":[159],"provide":[163],"three":[164],"different":[165],"greedy":[168],"heuristics,":[170],"namely,":[171],"maximal":[172],",":[174,177,181],"typed":[175],"hybrid":[179,197],"while":[182],"maintaining":[183],"compile":[185],"improvements":[187],"over":[190,229,233],"Pluto.":[191,234],"Our":[192],"experiments":[193],"reveal":[194],"model,":[199],"conjunction":[201],"Pluto\u2019s":[203],"function,":[205],"finds":[206],"outperform":[210],"Pluto":[213],"by":[214],"mean":[215],"factors":[216],"1.8\u00d7":[218],"1.07\u00d7,":[220],"respectively,":[221],"maximum":[224],"performance":[225],"improvement":[226],"14\u00d7":[228],"2.6\u00d7":[232]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2020-10-08T00:00:00"}