{"id":"https://openalex.org/W7139953520","doi":"https://doi.org/10.48550/arxiv.2603.18477","title":"Leveraging Large Language Models for Generalizing Peephole Optimizations","display_name":"Leveraging Large Language Models for Generalizing Peephole Optimizations","publication_year":2026,"publication_date":"2026-03-19","ids":{"openalex":"https://openalex.org/W7139953520","doi":"https://doi.org/10.48550/arxiv.2603.18477"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.18477","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.18477","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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.18477","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130245531","display_name":"Chunhao Liao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liao, Chunhao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075654656","display_name":"Hongxu Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Hongxu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128791988","display_name":"Xintong Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Xintong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080550560","display_name":"Zhenyang Xu","orcid":"https://orcid.org/0000-0002-9451-4031"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Zhenyang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101708632","display_name":"C. P. Sun","orcid":"https://orcid.org/0000-0002-0862-2491"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Chengnian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.3084000051021576,"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.3084000051021576,"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.2126999944448471,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.12219999730587006,"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/generalization","display_name":"Generalization","score":0.6205999851226807},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5335999727249146},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.5317999720573425},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5171999931335449},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.46560001373291016},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4629000127315521},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4205999970436096},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.3871000111103058},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3359000086784363}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.895799994468689},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6205999851226807},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5442000031471252},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5335999727249146},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.5317999720573425},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5171999931335449},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.46560001373291016},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4629000127315521},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44209998846054077},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4205999970436096},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39910000562667847},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.3871000111103058},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3359000086784363},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3264000117778778},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.3107999861240387},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.3073999881744385},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.29319998621940613},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.2888999879360199},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C166955791","wikidata":"https://www.wikidata.org/wiki/Q629579","display_name":"Macro","level":2,"score":0.2694000005722046},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.25859999656677246},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.25619998574256897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.18477","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.18477","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":"doi:10.48550/arxiv.2603.18477","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.18477","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Peephole":[0],"optimizations":[1],"are":[2,69,147,158,165],"a":[3,24,31,40,47,124,175],"core":[4],"component":[5],"of":[6,50,138,220,237],"modern":[7],"optimizing":[8],"compilers.":[9],"It":[10],"rewrites":[11],"specific":[12],"instruction":[13,51,112],"into":[14,39],"semantically":[15],"equivalent":[16],"but":[17,61,96],"more":[18,41],"efficient":[19],"forms.":[20],"In":[21],"practice,":[22],"creating":[23],"new":[25],"peephole":[26,121,134,206],"optimization":[27,33,59,122,207],"often":[28,101],"starts":[29],"from":[30,193,210],"concrete":[32],"instance":[34],"and":[35,72,80,107,152,167,188,198],"requires":[36],"lifting":[37],"it":[38,62],"general":[42,74],"rewrite":[43],"rule":[44],"that":[45,68,126,145,162,178,227],"matches":[46],"wider":[48],"range":[49],"patterns.":[52],"This":[53],"generalization":[54,98,190],"step":[55],"is":[56,63,100,140,228],"critical":[57],"to":[58,89,132,160,231],"effectiveness,":[60],"also":[64],"difficult:":[65],"producing":[66],"rules":[67,164],"both":[70],"correct":[71],"sufficiently":[73],"typically":[75],"demands":[76],"substantial":[77],"manual":[78],"effort":[79],"domain":[81],"expertise.":[82],"Existing":[83],"approaches":[84],"such":[85],"as":[86],"Hydra":[87,241],"attempt":[88],"automate":[90],"this":[91,171],"task":[92],"with":[93,191],"program":[94],"synthesis,":[95],"their":[97],"capability":[99],"limited":[102],"by":[103,142],"search-space":[104],"explosion,":[105],"under-generalization,":[106],"restricted":[108],"support":[109],"for":[110],"diverse":[111],"domains.":[113],"We":[114,201],"present":[115],"LPG,":[116],"large":[117,128],"language":[118,129],"model":[119],"aided":[120],"generalization,":[123,183,185],"framework":[125],"uses":[127],"models":[130],"(LLMs)":[131],"generalize":[133],"optimizations.":[135,222],"The":[136],"design":[137],"LPG":[139,173,203,215,233],"motivated":[141],"the":[143,211,224],"observation":[144],"LLMs":[146],"effective":[148],"at":[149],"semantic":[150,196],"abstraction":[151],"exploratory":[153],"reasoning,":[154],"while":[155],"formal":[156],"analyses":[157],"necessary":[159],"ensure":[161],"generated":[163],"sound":[166],"profitable.":[168],"Based":[169],"on":[170,204],"observation,":[172],"adopts":[174],"closed-loop":[176],"workflow":[177],"integrates":[179],"LLM-driven":[180],"symbolic":[181],"constant":[182],"structural":[184],"constraint":[186],"relaxation,":[187],"bitwidth/precision":[189],"feedback":[192],"syntactic":[194],"validation,":[195],"verification,":[197],"profitability":[199],"checking.":[200],"evaluate":[202],"real-world":[205],"issues":[208],"drawn":[209],"LLVM":[212],"ecosystem.":[213],"Overall,":[214],"successfully":[216],"generalizes":[217,234,242],"90":[218],"out":[219,236],"102":[221],"On":[223],"integer-focused":[225],"subset":[226],"directly":[229],"comparable":[230],"Hydra,":[232],"74":[235],"81":[238],"optimizations,":[239],"whereas":[240],"35.":[243]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-21T00:00:00"}