{"id":"https://openalex.org/W7147476014","doi":"https://doi.org/10.48550/arxiv.2603.28686","title":"C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM","display_name":"C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM","publication_year":2026,"publication_date":"2026-03-30","ids":{"openalex":"https://openalex.org/W7147476014","doi":"https://doi.org/10.48550/arxiv.2603.28686"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.28686","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.28686","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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.28686","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104851823","display_name":"Yanyan Yan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yan, Yanyan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132549211","display_name":"Yang Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132613857","display_name":"Jiangshan Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Jiangshan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132619075","display_name":"Di Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Di","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132583647","display_name":"Zixi Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Zixi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132701229","display_name":"Hao Teng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Teng, Hao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5132654460","display_name":"Baowen Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Baowen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":7,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.46309998631477356,"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.46309998631477356,"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.11990000307559967,"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.07639999687671661,"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.9222999811172485},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.5680000185966492},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.5278000235557556},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.5256999731063843},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5060999989509583},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4925000071525574},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.47450000047683716},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4505000114440918}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9222999811172485},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8014000058174133},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6166999936103821},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.5680000185966492},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.5278000235557556},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5256999731063843},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5060999989509583},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4925000071525574},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.47450000047683716},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4683000147342682},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45649999380111694},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4505000114440918},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.34529998898506165},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3395000100135803},{"id":"https://openalex.org/C2777946921","wikidata":"https://www.wikidata.org/wiki/Q7449044","display_name":"Semantic analysis (machine learning)","level":2,"score":0.3163999915122986},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.310699999332428},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.3012000024318695},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.29280000925064087},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.29269999265670776},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C203005215","wikidata":"https://www.wikidata.org/wiki/Q79798","display_name":"Machine translation","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.2646999955177307},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C2778143727","wikidata":"https://www.wikidata.org/wiki/Q1820650","display_name":"Readability","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.28686","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.28686","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":"doi:10.48550/arxiv.2603.28686","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.28686","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":"article"},"sustainable_development_goals":[{"score":0.6199638247489929,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"growing":[1],"adoption":[2],"of":[3,18,47,202],"Rust":[4,56],"for":[5,15,207],"its":[6,205],"memory":[7],"safety":[8],"and":[9,41,52,97,99,102,116,126,135,156,171,183,197,209],"performance":[10],"has":[11],"increased":[12],"the":[13,88,189],"demand":[14],"effective":[16],"migration":[17],"legacy":[19],"C":[20,36],"codebases.":[21],"However,":[22],"existing":[23],"rule-based":[24,134],"translators":[25],"(e.g.,":[26],"\\ctorust)":[27],"often":[28],"generate":[29],"verbose,":[30],"non-idiomatic":[31],"code":[32,178],"that":[33,77,132,163],"preserves":[34],"unsafe":[35,184],"semantics,":[37],"limiting":[38],"readability,":[39],"maintainability,":[40],"practical":[42,208],"adoption.":[43],"Moreover,":[44],"manual":[45],"post-processing":[46],"such":[48],"outputs":[49],"is":[50],"labor-intensive":[51],"rarely":[53],"yields":[54],"high-quality":[55],"code,":[57],"posing":[58],"a":[59,72,128],"significant":[60],"barrier":[61],"to":[62,113,139,154,181],"large-scale":[63],"migration.":[64,212],"To":[65],"address":[66],"these":[67,104],"limitations,":[68],"we":[69],"present":[70],"\\tool,":[71],"program-structure-aware":[73],"C-to-Rust":[74,211],"translation":[75,115,125],"approach":[76],"integrates":[78,148],"program":[79,90],"analysis":[80],"with":[81,151],"Large":[82],"Language":[83],"Models":[84],"(LLMs).":[85],"\\tool":[86,122,146,164,192],"extracts":[87],"multi-level":[89],"structure,":[91],"including":[92],"global":[93],"symbols,":[94],"function":[95],"dependencies,":[96],"control-":[98],"data-flow":[100],"information,":[101],"encodes":[103],"as":[105],"structured":[106],"textual":[107],"representations":[108],"injected":[109],"into":[110],"LLM":[111],"prompts":[112],"guide":[114],"repair.":[117],"Based":[118],"on":[119,169,173],"this":[120],"design,":[121],"performs":[123],"dependency-aware":[124],"adopts":[127],"multi-stage":[129],"repair":[130,157],"pipeline":[131],"combines":[133],"structure-guided":[136,152],"LLM-based":[137],"techniques":[138],"ensure":[140],"syntactic":[141,167,195],"correctness.":[142],"For":[143],"semantic":[144,200],"correctness,":[145],"further":[147],"execution-based":[149],"validation":[150],"reasoning":[153],"localize":[155],"behavioral":[158],"inconsistencies.":[159],"Experimental":[160],"results":[161],"show":[162],"achieves":[165,193],"100\\%":[166],"correctness":[168,196,201],"CodeNet":[170],"97.78\\%":[172],"GitHub,":[174],"while":[175],"significantly":[176],"reducing":[177],"size":[179],"(up":[180],"43.70\\%)":[182],"usage":[185],"(to":[186],"5.75\\%).":[187],"At":[188],"project":[190],"level,":[191],"perfect":[194],"an":[198],"average":[199],"78.87\\%,":[203],"demonstrating":[204],"effectiveness":[206],"scalable":[210]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-02T00:00:00"}