{"id":"https://openalex.org/W4411267092","doi":"https://doi.org/10.1145/3729330","title":"Guided Tensor Lifting","display_name":"Guided Tensor Lifting","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411267092","doi":"https://doi.org/10.1145/3729330"},"language":"en","primary_location":{"id":"doi:10.1145/3729330","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729330","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3729330","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100443486","display_name":"Yixuan Li","orcid":"https://orcid.org/0009-0007-4619-3476"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Yixuan Li","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072335056","display_name":"Jos\u00e9 Wesley de Souza Magalh\u00e3es","orcid":"https://orcid.org/0000-0003-2767-1130"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Wesley de Souza Magalh\u00e3es","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091099679","display_name":"Alexander Brauckmann","orcid":"https://orcid.org/0000-0001-5774-3970"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alexander Brauckmann","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027001025","display_name":"Michael O\u2019Boyle","orcid":"https://orcid.org/0000-0003-1619-5052"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael F. P. O'Boyle","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009694403","display_name":"Elizabeth Polgreen","orcid":"https://orcid.org/0000-0001-9032-7661"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Elizabeth Polgreen","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100443486"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":7.2183,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.96455939,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":100},"biblio":{"volume":"9","issue":"PLDI","first_page":"1984","last_page":"2006"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.872890830039978},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7833504676818848},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7626060843467712},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.6972593069076538},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6448222398757935},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.6306225061416626},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5278612971305847},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5225714445114136},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4755294620990753},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.471871554851532},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.4390580952167511},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4349372684955597},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4255896210670471},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.41348662972450256},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2571548521518707},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.188742995262146}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.872890830039978},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7833504676818848},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7626060843467712},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.6972593069076538},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6448222398757935},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.6306225061416626},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5278612971305847},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5225714445114136},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4755294620990753},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.471871554851532},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.4390580952167511},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4349372684955597},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4255896210670471},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41348662972450256},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2571548521518707},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.188742995262146},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3729330","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729330","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/f09d4956-96f8-46a4-b543-1d4e1e8aced0","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/f09d4956-96f8-46a4-b543-1d4e1e8aced0","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Li, Y, De Souza Magalh\u00e3es, J W, Brauckmann, A, O'Boyle, M F P & Polgreen, E 2025, Guided tensor lifting. in M Hicks (ed.), Proceedings of the ACM on Programming Languages. PLDI edn, vol. 9, 227, Proceedings of the ACM on Programming Languages, Association for Computing Machinery (ACM), New York, NY, United States, pp. 1984-2006, The 46th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seoul, Korea, Democratic People's Republic of, 16/06/25. https://doi.org/10.1145/3729330","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1145/3729330","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729330","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.75}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W327452528","https://openalex.org/W1997449553","https://openalex.org/W2052356107","https://openalex.org/W2055312318","https://openalex.org/W2271840356","https://openalex.org/W2590246587","https://openalex.org/W2767274246","https://openalex.org/W2798628553","https://openalex.org/W2970971581","https://openalex.org/W2980180246","https://openalex.org/W3002820667","https://openalex.org/W3035965352","https://openalex.org/W3099878876","https://openalex.org/W3099929288","https://openalex.org/W3175004880","https://openalex.org/W4220929067","https://openalex.org/W4225113125","https://openalex.org/W4226496243","https://openalex.org/W4231970275","https://openalex.org/W4241222526","https://openalex.org/W4295312788","https://openalex.org/W4318620922","https://openalex.org/W4387796988","https://openalex.org/W4390280319","https://openalex.org/W4396570420","https://openalex.org/W4399114957","https://openalex.org/W4399851446","https://openalex.org/W4400939450"],"related_works":["https://openalex.org/W2109776807","https://openalex.org/W2885657154","https://openalex.org/W4289709346","https://openalex.org/W2119542776","https://openalex.org/W2014596857","https://openalex.org/W2582410692","https://openalex.org/W2140083133","https://openalex.org/W1485300234","https://openalex.org/W2058907533","https://openalex.org/W307712065"],"abstract_inverted_index":{"Domain-specific":[0],"languages":[1],"(DSLs)":[2],"for":[3,99,119],"machine":[4,13],"learning":[5,14],"are":[6],"revolutionizing":[7],"the":[8,44,52,116,123,132],"speed":[9],"and":[10,26,82,89],"efficiency":[11],"of":[12,32,57,125],"workloads":[15],"as":[16,75],"they":[17],"enable":[18],"users":[19],"easy":[20],"access":[21],"to":[22,29,84,113],"high-performance":[23],"compiler":[24],"optimizations":[25],"accelerators.":[27],"However,":[28,78],"take":[30],"advantage":[31],"these":[33,62],"capabilities,":[34],"a":[35,76,108,126],"user":[36],"must":[37],"first":[38],"translate":[39],"their":[40],"legacy":[41],"code":[42,60],"from":[43],"language":[45],"it":[46],"is":[47,80],"currently":[48],"written":[49],"in,":[50],"into":[51,61],"new":[53],"DSL.":[54],"The":[55],"process":[56],"automatically":[58,114],"lifting":[59,100],"DSLs":[63],"has":[64],"been":[65],"identified":[66],"by":[67],"several":[68],"recent":[69],"works,":[70],"which":[71],"propose":[72],"program":[73,120],"synthesis":[74,79,105],"solution.":[77],"expensive":[81],"struggles":[83],"scale":[85],"without":[86],"carefully":[87],"designed":[88],"hard-wired":[90],"heuristics.":[91,142],"In":[92],"this":[93,136],"paper,":[94],"we":[95],"present":[96],"an":[97,103],"approach":[98,106,130],"that":[101],"combines":[102],"enumerative":[104],"with":[107],"Large":[109],"Language":[110],"Model":[111],"used":[112],"learn":[115],"domain-specific":[117],"heuristics":[118],"lifting,":[121],"in":[122,135],"form":[124],"probabilistic":[127],"grammar.":[128],"Our":[129],"outperforms":[131],"state-of-the-art":[133],"tools":[134],"area,":[137],"despite":[138],"only":[139],"using":[140],"learned":[141]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1}],"updated_date":"2026-02-25T08:12:03.925757","created_date":"2025-10-10T00:00:00"}