{"id":"https://openalex.org/W3133668920","doi":"https://doi.org/10.1145/3460945.3464952","title":"Learning to make compiler optimizations more effective","display_name":"Learning to make compiler optimizations more effective","publication_year":2021,"publication_date":"2021-06-18","ids":{"openalex":"https://openalex.org/W3133668920","doi":"https://doi.org/10.1145/3460945.3464952","mag":"3133668920"},"language":"en","primary_location":{"id":"doi:10.1145/3460945.3464952","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3460945.3464952","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2102.13514","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043931861","display_name":"Rahim Mammadli","orcid":"https://orcid.org/0000-0003-1832-3492"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rahim Mammadli","raw_affiliation_strings":["TU Darmstadt, Germany","Technische Universit\u00e4t Darmstadt,"],"raw_orcid":"https://orcid.org/0000-0003-1832-3492","affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt,","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064459996","display_name":"Marija Selakovic","orcid":"https://orcid.org/0000-0001-9508-5868"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marija Selakovic","raw_affiliation_strings":["TU Darmstadt, Germany","TU Darmstadt Germany#TAB#"],"raw_orcid":"https://orcid.org/0000-0001-9508-5868","affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"TU Darmstadt Germany#TAB#","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018089961","display_name":"Felix Wolf","orcid":"https://orcid.org/0000-0001-6595-3599"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Felix Wolf","raw_affiliation_strings":["TU Darmstadt, Germany","Technische Universit\u00e4t Darmstadt,"],"raw_orcid":"https://orcid.org/0000-0001-6595-3599","affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt,","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Pradel","raw_affiliation_strings":["University of Stuttgart, Germany","Univ. of Stuttgart (Germany)"],"raw_orcid":"https://orcid.org/0000-0003-1623-498X","affiliations":[{"raw_affiliation_string":"University of Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]},{"raw_affiliation_string":"Univ. of Stuttgart (Germany)","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"20"},"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.9993000030517578,"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.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9958999752998352,"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/compiler","display_name":"Compiler","score":0.9174743294715881},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.8830996751785278},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8792394399642944},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.6744176745414734},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.668262779712677},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6492442488670349},{"id":"https://openalex.org/keywords/loop-optimization","display_name":"Loop optimization","score":0.6148204803466797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5427868366241455},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5365289449691772},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5184647440910339},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46261507272720337},{"id":"https://openalex.org/keywords/register-allocation","display_name":"Register allocation","score":0.43719547986984253},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.33186453580856323},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10904654860496521},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.10656985640525818}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.9174743294715881},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.8830996751785278},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8792394399642944},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.6744176745414734},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.668262779712677},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6492442488670349},{"id":"https://openalex.org/C29331672","wikidata":"https://www.wikidata.org/wiki/Q3354468","display_name":"Loop optimization","level":4,"score":0.6148204803466797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5427868366241455},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5365289449691772},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5184647440910339},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46261507272720337},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.43719547986984253},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.33186453580856323},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10904654860496521},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.10656985640525818}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3460945.3464952","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3460945.3464952","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2102.13514","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2102.13514","pdf_url":"https://arxiv.org/pdf/2102.13514","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:3133668920","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2102.13514","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:143055","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/143055/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Konferenzver\u00f6ffentlichung"},{"id":"doi:10.48550/arxiv.2102.13514","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2102.13514","pdf_url":null,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2102.13514","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2102.13514","pdf_url":"https://arxiv.org/pdf/2102.13514","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8390793956","display_name":null,"funder_award_id":"851895","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320323384","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3133668920.pdf","grobid_xml":"https://content.openalex.org/works/W3133668920.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W1010415138","https://openalex.org/W1509875415","https://openalex.org/W1523296404","https://openalex.org/W1967846636","https://openalex.org/W1991495385","https://openalex.org/W1994573369","https://openalex.org/W2005985523","https://openalex.org/W2052902739","https://openalex.org/W2069265488","https://openalex.org/W2098456636","https://openalex.org/W2108737583","https://openalex.org/W2114012357","https://openalex.org/W2132984320","https://openalex.org/W2133128124","https://openalex.org/W2143124065","https://openalex.org/W2143861926","https://openalex.org/W2156560068","https://openalex.org/W2156981320","https://openalex.org/W2170737051","https://openalex.org/W2274071363","https://openalex.org/W2294628582","https://openalex.org/W2308618763","https://openalex.org/W2313783443","https://openalex.org/W2330621167","https://openalex.org/W2370472429","https://openalex.org/W2444132761","https://openalex.org/W2468328197","https://openalex.org/W2511803001","https://openalex.org/W2563351168","https://openalex.org/W2565684518","https://openalex.org/W2575109289","https://openalex.org/W2605202003","https://openalex.org/W2618564128","https://openalex.org/W2751901133","https://openalex.org/W2766875678","https://openalex.org/W2788197406","https://openalex.org/W2788264912","https://openalex.org/W2788992245","https://openalex.org/W2793157084","https://openalex.org/W2794601162","https://openalex.org/W2795143051","https://openalex.org/W2804660315","https://openalex.org/W2806718802","https://openalex.org/W2809662498","https://openalex.org/W2898537641","https://openalex.org/W2899171197","https://openalex.org/W2899384793","https://openalex.org/W2952206116","https://openalex.org/W2953021844","https://openalex.org/W2954950681","https://openalex.org/W2955426500","https://openalex.org/W2962914467","https://openalex.org/W2962995178","https://openalex.org/W2963145229","https://openalex.org/W2963446712","https://openalex.org/W2963499994","https://openalex.org/W2963626623","https://openalex.org/W2963935794","https://openalex.org/W3006102157","https://openalex.org/W3101228802","https://openalex.org/W3104712907","https://openalex.org/W3105926539","https://openalex.org/W4214583996","https://openalex.org/W4238083723","https://openalex.org/W4299968636"],"related_works":["https://openalex.org/W3169168820","https://openalex.org/W2016870819","https://openalex.org/W3157020554","https://openalex.org/W2898096602","https://openalex.org/W2147623728","https://openalex.org/W2126997585","https://openalex.org/W1538526012","https://openalex.org/W2911899620","https://openalex.org/W2619614312","https://openalex.org/W1992008963","https://openalex.org/W2002973181","https://openalex.org/W2002999142","https://openalex.org/W1542326246","https://openalex.org/W2899120827","https://openalex.org/W2127501412","https://openalex.org/W2060221201","https://openalex.org/W2088699829","https://openalex.org/W2060481237","https://openalex.org/W3166956180","https://openalex.org/W1975514947"],"abstract_inverted_index":{"Because":[0],"loops":[1,129,167],"execute":[2],"their":[3,13,41],"body":[4],"many":[5],"times,":[6],"compiler":[7,77,98,133],"developers":[8],"place":[9],"much":[10],"emphasis":[11],"on":[12,80],"optimization.":[14],"Nevertheless,":[15],"in":[16,225],"view":[17],"of":[18,36,58,62,76,97,104,188,228],"highly":[19,70],"diverse":[20],"source":[21,148],"code":[22,149,213],"and":[23,56,150],"hardware,":[24],"compilers":[25,48],"still":[26],"struggle":[27],"to":[28,52,64,69,110,122,141,160,182,201,219],"produce":[29],"optimal":[30],"target":[31],"code.":[32,113,137],"The":[33],"sheer":[34],"number":[35],"possible":[37],"loop":[38,85,107],"optimizations,":[39],"including":[40],"combinations,":[42],"exacerbates":[43],"the":[44,74,81,95,132,146,152,173,192,196,204,221],"problem":[45,96],"further.":[46],"Today's":[47],"use":[49],"hard-coded":[50],"heuristics":[51],"decide":[53],"when,":[54],"whether,":[55],"which":[57,93,102],"a":[59,84,106,119,155],"limited":[60],"set":[61],"optimizations":[63,78],"apply.":[65],"Often,":[66],"this":[67,115],"leads":[68],"unstable":[71],"behavior,":[72],"making":[73],"success":[75],"dependent":[79],"precise":[82],"way":[83,103],"has":[86],"been":[87],"written.":[88],"This":[89],"paper":[90],"presents":[91],"LoopLearner,":[92],"addresses":[94],"instability":[99],"by":[100],"predicting":[101],"writing":[105],"will":[108],"lead":[109],"efficient":[111,136],"compiled":[112],"To":[114],"end,":[116],"we":[117],"train":[118],"neural":[120],"network":[121],"find":[123],"semantically":[124],"invariant":[125],"source-level":[126],"transformations":[127,174,214,224],"for":[128],"that":[130,154,175,216],"help":[131],"generate":[134],"more":[135],"Our":[138],"model":[139,177],"learns":[140],"extract":[142],"useful":[143],"features":[144],"from":[145,168],"raw":[147],"predicts":[151],"speedup":[153,187,198],"given":[156],"transformation":[157],"is":[158],"likely":[159],"yield.":[161],"We":[162],"evaluate":[163],"LoopLearner":[164,217],"with":[165,206],"1,895":[166],"various":[169],"performance-relevant":[170],"benchmarks.":[171],"Applying":[172],"our":[176],"deems":[178],"most":[179,222],"favorable":[180],"prior":[181],"compilation":[183],"yields":[184],"an":[185,207],"average":[186,197],"1.14x.":[189],"When":[190],"trying":[191],"top-3":[193],"suggested":[194],"transformations,":[195],"even":[199],"increases":[200],"1.29x.":[202],"Comparing":[203],"approach":[205],"exhaustive":[208],"search":[209],"through":[210],"all":[211],"available":[212],"shows":[215],"helps":[218],"identify":[220],"beneficial":[223],"several":[226],"orders":[227],"magnitude":[229],"less":[230],"time.":[231]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}