{"id":"https://openalex.org/W7119532866","doi":"https://doi.org/10.1145/3776722","title":"Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers","display_name":"Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers","publication_year":2026,"publication_date":"2026-01-08","ids":{"openalex":"https://openalex.org/W7119532866","doi":"https://doi.org/10.1145/3776722"},"language":"en","primary_location":{"id":"doi:10.1145/3776722","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776722","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":null,"license_id":null,"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/3776722","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5122343418","display_name":"Xuanyu Peng","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xuanyu Peng","raw_affiliation_strings":["University of California, San Diego, La Jolla, USA"],"raw_orcid":"https://orcid.org/0000-0001-8613-3506","affiliations":[{"raw_affiliation_string":"University of California, San Diego, La Jolla, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122313977","display_name":"Dominic Kennedy","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dominic Kennedy","raw_affiliation_strings":["University of Utah, Salt Lake City, USA"],"raw_orcid":"https://orcid.org/0000-0001-7368-4333","affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114131268","display_name":"Yuyou Fan","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuyou Fan","raw_affiliation_strings":["University of Utah, Salt Lake City, USA"],"raw_orcid":"https://orcid.org/0009-0005-5742-0692","affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122320613","display_name":"Ben Greenman","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Greenman","raw_affiliation_strings":["University of Utah, Salt Lake City, USA"],"raw_orcid":"https://orcid.org/0000-0001-7078-9287","affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066046345","display_name":"John Regehr","orcid":"https://orcid.org/0000-0001-7025-4610"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Regehr","raw_affiliation_strings":["University of Utah, Salt Lake City, USA"],"raw_orcid":"https://orcid.org/0000-0001-7025-4610","affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089920000","display_name":"Loris D\u2019Antoni","orcid":"https://orcid.org/0000-0001-9625-4037"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Loris D'Antoni","raw_affiliation_strings":["University of California, San Diego, La Jolla, USA"],"raw_orcid":"https://orcid.org/0000-0001-9625-4037","affiliations":[{"raw_affiliation_string":"University of California, San Diego, La Jolla, USA","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04457989,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"POPL","first_page":"2323","last_page":"2351"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6396999955177307,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6396999955177307,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.13279999792575836,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.0357000008225441,"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/transformer","display_name":"Transformer","score":0.7942000031471252},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5322999954223633},{"id":"https://openalex.org/keywords/intermediate-language","display_name":"Intermediate language","score":0.2809000015258789},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.21969999372959137},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.21389999985694885}],"concepts":[{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.7942000031471252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6848000288009644},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5322999954223633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2962000072002411},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.2809000015258789},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.22110000252723694},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.21969999372959137},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.21389999985694885},{"id":"https://openalex.org/C133770746","wikidata":"https://www.wikidata.org/wiki/Q856535","display_name":"Current transformer","level":4,"score":0.21140000224113464},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20559999346733093}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3776722","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776722","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3776722","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3776722","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":null,"license_id":null,"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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1500085611","https://openalex.org/W1568212182","https://openalex.org/W1568478782","https://openalex.org/W1908449836","https://openalex.org/W1973680906","https://openalex.org/W1996543446","https://openalex.org/W2014764321","https://openalex.org/W2032053109","https://openalex.org/W2043100293","https://openalex.org/W2125076295","https://openalex.org/W2138309709","https://openalex.org/W2158735282","https://openalex.org/W2293309991","https://openalex.org/W2294628582","https://openalex.org/W2961192361","https://openalex.org/W3018710771","https://openalex.org/W3157256658","https://openalex.org/W3192343331","https://openalex.org/W4387673994","https://openalex.org/W4387885358","https://openalex.org/W4406597154","https://openalex.org/W4409310733","https://openalex.org/W4411260257","https://openalex.org/W4414978541","https://openalex.org/W7092181481"],"related_works":[],"abstract_inverted_index":{"Static":[0],"analyses":[1],"play":[2],"a":[3,39,55,111,139,159,174,199],"fundamental":[4],"role":[5],"during":[6],"compilation:":[7],"they":[8],"discover":[9],"facts":[10,25],"that":[11,44,52,65,118,129,165,169],"are":[12,26,66,119,130,166,191,194,217],"true":[13],"in":[14,71,103,176],"all":[15],"executions":[16],"of":[17,41,93,101,124,152,158,161,179,203,206],"the":[18,49,122,146,156,177,180],"code":[19],"being":[20],"compiled,":[21],"and":[22,31,69,75,213],"then":[23],"these":[24],"used":[27,132],"to":[28,61,198],"justify":[29],"optimizations":[30],"diagnostics.":[32],"Each":[33,205],"static":[34],"analysis":[35],"is":[36,155,186,210],"based":[37],"on":[38],"collection":[40,160],"abstract":[42,46,63,84,97,116,127],"transformers":[43,64,98,117,154,164,209],"provide":[45],"semantics":[47],"for":[48,99,115,144],"concrete":[50],"instructions":[51,102],"make":[53],"up":[54],"program.":[56],"It":[57,137],"can":[58],"be":[59],"challenging":[60],"implement":[62],"sound,":[67],"precise,":[68],"efficient\u2014and":[70],"fact":[72],"both":[73],"LLVM":[74,95],"GCC":[76],"have":[77],"suffered":[78],"from":[79],"miscompilations":[80],"caused":[81],"by":[82,133,196,223],"unsound":[83],"transformers.":[85],"Moreover,":[86],"even":[87],"after":[88],"more":[89,218],"than":[90,220],"20":[91],"years":[92],"development,":[94],"lacks":[96],"hundreds":[100],"its":[104],"intermediate":[105],"representation":[106],"(IR).":[107],"We":[108],"developed":[109],"NiceToMeetYou:":[110],"program":[112],"synthesis":[113,147],"framework":[114],"aimed":[120],"at":[121],"kinds":[123],"non-relational":[125],"integer":[126],"domains":[128],"heavily":[131],"today\u2019s":[134],"production":[135],"compilers.":[136],"exploits":[138],"simple":[140],"but":[141],"novel":[142],"technique":[143],"breaking":[145],"problem":[148],"into":[149],"parts:":[150],"each":[151,170],"our":[153,207],"meet":[157],"simpler,":[162],"sound":[163,212],"synthesized":[167,208],"such":[168],"new":[171],"piece":[172],"fills":[173],"gap":[175],"precision":[178],"final":[181],"transformer.":[182],"Our":[183],"design":[184],"point":[185],"bulk":[187],"automation:":[188],"no":[189],"sketches":[190],"required.":[192],"Transformers":[193],"verified":[195],"lowering":[197],"previously-created":[200],"SMT":[201],"dialect":[202],"MLIR.":[204],"provably":[211],"some":[214],"(17":[215],"%)":[216],"precise":[219],"those":[221],"provided":[222],"LLVM.":[224]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-09T00:00:00"}