{"id":"https://openalex.org/W7131283830","doi":"https://doi.org/10.48550/arxiv.2602.18511","title":"Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models","display_name":"Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models","publication_year":2026,"publication_date":"2026-02-19","ids":{"openalex":"https://openalex.org/W7131283830","doi":"https://doi.org/10.48550/arxiv.2602.18511"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.18511","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012469729","display_name":"Lei Qiu","orcid":"https://orcid.org/0000-0003-2980-2675"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Qiu, Lei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126706172","display_name":"Zi Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Zi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126690252","display_name":"Fang Lyu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lyu, Fang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126664556","display_name":"Ming Zhong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhong, Ming","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086633294","display_name":"Huimin Cui","orcid":"https://orcid.org/0000-0002-2491-7679"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cui, Huimin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5126701102","display_name":"Xiaobing Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Xiaobing","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5012469729"],"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.48910000920295715,"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.48910000920295715,"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/T10126","display_name":"Logic, programming, and type systems","score":0.3513999879360199,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.07519999891519547,"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/correctness","display_name":"Correctness","score":0.8668000102043152},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7188000082969666},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.6053000092506409},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5828999876976013},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5479000210762024},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.489300012588501},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.48500001430511475},{"id":"https://openalex.org/keywords/global-optimization","display_name":"Global optimization","score":0.4745999872684479}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8668000102043152},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7804999947547913},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7188000082969666},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.6053000092506409},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5828999876976013},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5479000210762024},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.489300012588501},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.48500001430511475},{"id":"https://openalex.org/C164752517","wikidata":"https://www.wikidata.org/wiki/Q5570875","display_name":"Global optimization","level":2,"score":0.4745999872684479},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46959999203681946},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.4618000090122223},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.438400000333786},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.43309998512268066},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36070001125335693},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33869999647140503},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.3336000144481659},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32440000772476196},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.27900001406669617},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.27649998664855957},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C2987595161","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Optimization algorithm","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C55660270","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.18511","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.18511","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.18511","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":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.18511","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Modern":[0],"compilers":[1],"optimize":[2],"programs":[3],"through":[4],"a":[5,24,54,62],"sequence":[6],"of":[7,45,49,183],"modular":[8],"passes":[9],"over":[10],"intermediate":[11],"representations":[12],"(IR).":[13],"While":[14],"this":[15],"pass-by-pass":[16,81],"paradigm":[17],"offers":[18],"engineering":[19],"benefits,":[20],"it":[21],"suffers":[22],"from":[23,42,122],"pass":[25],"coordination":[26],"problem:":[27],"locally":[28],"beneficial":[29],"transformations":[30,60],"may":[31],"block":[32],"more":[33],"profitable":[34],"optimizations":[35],"in":[36,88,165],"later":[37],"stages.":[38],"This":[39],"limitation":[40],"stems":[41],"the":[43,79,111,175],"lack":[44],"an":[46,73],"explicit":[47],"notion":[48],"optimization":[50,71,84,96,120,130],"intent,":[51],"defined":[52],"as":[53,72],"holistic":[55],"strategy":[56,97],"for":[57],"coordinating":[58],"multiple":[59],"toward":[61],"global":[63],"performance":[64],"objective.":[65],"Recent":[66],"LLM-based":[67,163],"approaches":[68],"formulate":[69],"IR":[70,114,129],"end-to-end":[74],"generation":[75],"task,":[76],"thereby":[77],"avoiding":[78],"traditional":[80],"structure.":[82],"However,":[83],"intent":[85,121,134,136,139],"remains":[86],"implicit":[87],"these":[89],"methods,":[90],"forcing":[91],"models":[92],"to":[93,185],"jointly":[94],"infer":[95],"and":[98,106,125,138,153,168,170],"generate":[99],"low-level":[100,123],"transformations,":[101],"which":[102],"limits":[103],"both":[104,166],"correctness":[105,152,167],"performance.":[107],"We":[108],"propose":[109],"IntOpt,":[110],"first":[112],"intent-driven":[113],"optimizer":[115],"that":[116,147],"explicitly":[117],"separates":[118],"high-level":[119],"analysis":[124],"transformation.":[126],"IntOpt":[127,148],"organizes":[128],"into":[131],"three":[132],"stages:":[133],"formulation,":[135],"refinement,":[137],"realization,":[140],"enabling":[141],"globally":[142],"coordinated":[143],"transformations.":[144],"Experiments":[145],"show":[146],"achieves":[149],"90.5%":[150],"verified":[151],"2.660x":[154],"average":[155],"speedup":[156],"on":[157,178],"200-program":[158],"test":[159],"set,":[160],"outperforming":[161],"state-of-the-art":[162],"optimizers":[164],"performance,":[169],"surpassing":[171],"modern":[172],"compiler":[173],"with":[174,181],"-O3":[176],"option":[177],"37":[179],"benchmarks":[180],"speedups":[182],"up":[184],"272.60x.":[186]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-25T00:00:00"}