{"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":"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/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":2,"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.04764719,"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":"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"}],"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":"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":[],"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,112,140,160,175,200],"fundamental":[4],"role":[5],"during":[6],"compilation:":[7],"they":[8],"discover":[9],"facts":[10,25],"that":[11,44,52,65,119,130,166,170],"are":[12,26,66,120,131,167,192,195,218],"true":[13],"in":[14,71,103,177],"all":[15],"executions":[16],"of":[17,41,93,101,125,153,159,162,180,204,207],"the":[18,49,123,147,157,178,181],"code":[19],"being":[20],"compiled,":[21],"and":[22,31,69,75,214],"then":[23],"these":[24],"used":[27,133],"to":[28,61,199],"justify":[29],"optimizations":[30],"diagnostics.":[32],"Each":[33,206],"static":[34],"analysis":[35],"is":[36,156,187,211],"based":[37],"on":[38],"collection":[40,161],"abstract":[42,46,63,84,97,117,128],"transformers":[43,64,98,118,155,165,210],"provide":[45],"semantics":[47],"for":[48,99,116,145],"concrete":[50],"instructions":[51,102],"make":[53],"up":[54],"program.":[56],"It":[57,138],"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,134,197,224],"unsound":[83],"transformers.":[85],"Moreover,":[86],"even":[87],"after":[88],"more":[89,219],"than":[90,221],"20":[91],"years":[92],"development,":[94],"lacks":[96],"hundreds":[100],"its":[104],"intermediate":[105],"representation":[106],"(IR).":[107],"We":[108],"developed":[109],"NiceToMeetYou":[110],":":[111],"program":[113],"synthesis":[114,148],"framework":[115],"aimed":[121],"at":[122],"kinds":[124],"non-relational":[126],"integer":[127],"domains":[129],"heavily":[132],"today\u2019s":[135],"production":[136],"compilers.":[137],"exploits":[139],"simple":[141],"but":[142],"novel":[143],"technique":[144],"breaking":[146],"problem":[149],"into":[150],"parts:":[151],"each":[152,171],"our":[154,208],"meet":[158],"simpler,":[163],"sound":[164,213],"synthesized":[168,209],"such":[169],"new":[172],"piece":[173],"fills":[174],"gap":[176],"precision":[179],"final":[182],"transformer.":[183],"Our":[184],"design":[185],"point":[186],"bulk":[188],"automation:":[189],"no":[190],"sketches":[191],"required.":[193],"Transformers":[194],"verified":[196],"lowering":[198],"previously-created":[201],"SMT":[202],"dialect":[203],"MLIR.":[205],"provably":[212],"some":[215],"(17":[216],"%)":[217],"precise":[220],"those":[222],"provided":[223],"LLVM.":[225]},"counts_by_year":[],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2026-01-09T00:00:00"}