{"id":"https://openalex.org/W7168015074","doi":"https://doi.org/10.1145/3786583.3786856","title":"EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation","display_name":"EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation","publication_year":2026,"publication_date":"2026-04-12","ids":{"openalex":"https://openalex.org/W7168015074","doi":"https://doi.org/10.1145/3786583.3786856"},"language":null,"primary_location":{"id":"doi:10.1145/3786583.3786856","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786583.3786856","pdf_url":null,"source":null,"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 IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3786583.3786856","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066717596","display_name":"C Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chaofan Wang","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0001-3797-1770","affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071657529","display_name":"Tingrui Yu","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tingrui Yu","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0001-2039-5770","affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045672909","display_name":"Beijun Shen","orcid":"https://orcid.org/0000-0001-8370-3956"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Beijun Shen","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0001-8370-3956","affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108047889","display_name":"Yi-Xiang Wang","orcid":"https://orcid.org/0000-0001-5697-0717"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Wang","raw_affiliation_strings":["Huawei Technologies Co., Ltd, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0003-9578-883X","affiliations":[{"raw_affiliation_string":"Huawei Technologies Co., Ltd, Beijing, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109579927","display_name":"Dong Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dong Chen","raw_affiliation_strings":["Huawei Technologies Co., Ltd, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3751-7997","affiliations":[{"raw_affiliation_string":"Huawei Technologies Co., Ltd, Beijing, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100773209","display_name":"Wenrui Zhang","orcid":"https://orcid.org/0000-0001-6972-7038"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenrui Zhang","raw_affiliation_strings":["Huawei Technologies Co., Ltd, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6972-7038","affiliations":[{"raw_affiliation_string":"Huawei Technologies Co., Ltd, Beijing, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100902783","display_name":"Y Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuling Shi","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0009-9738-7072","affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140462354","display_name":"Chen Xie","orcid":"https://orcid.org/0009-0007-8708-8170"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Xie","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0007-8708-8170","affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033286111","display_name":"Xiaodong Gu","orcid":"https://orcid.org/0000-0002-0529-6408"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaodong Gu","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-0529-6408","affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"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":"94","last_page":"105"},"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.43720000982284546,"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.43720000982284546,"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/T10126","display_name":"Logic, programming, and type systems","score":0.15189999341964722,"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/T10142","display_name":"Formal Methods in Verification","score":0.07429999858140945,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/rust","display_name":"Rust (programming language)","score":0.6103000044822693},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.4666000008583069},{"id":"https://openalex.org/keywords/baseline","display_name":"Baseline (sea)","score":0.42410001158714294},{"id":"https://openalex.org/keywords/face","display_name":"Face (sociological concept)","score":0.42089998722076416},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.40619999170303345},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.39399999380111694},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.3652999997138977}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7688000202178955},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.6103000044822693},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5098999738693237},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4666000008583069},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.42410001158714294},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.42089998722076416},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.40619999170303345},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.39399999380111694},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.3652999997138977},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35420000553131104},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34610000252723694},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2799000144004822},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26440000534057617},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2590999901294708},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.25690001249313354},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3786583.3786856","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786583.3786856","pdf_url":null,"source":null,"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 IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3786583.3786856","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786583.3786856","pdf_url":null,"source":null,"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 IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5557363629341125,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G4906496431","display_name":null,"funder_award_id":"2023YFB4503802","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5498251246","display_name":null,"funder_award_id":"25ZR1401175","funder_id":"https://openalex.org/F4320309612","funder_display_name":"Natural Science Foundation of Shanghai"},{"id":"https://openalex.org/G6223597658","display_name":null,"funder_award_id":"62232003","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320309612","display_name":"Natural Science Foundation of Shanghai","ror":null},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W3205049031","https://openalex.org/W4281669078","https://openalex.org/W4282842358","https://openalex.org/W4283799640","https://openalex.org/W4319996264","https://openalex.org/W4362676373","https://openalex.org/W4384345830","https://openalex.org/W4384471416","https://openalex.org/W4388502443","https://openalex.org/W4391899877","https://openalex.org/W4394769102","https://openalex.org/W4394938989","https://openalex.org/W4399872428","https://openalex.org/W4399935504","https://openalex.org/W4400112643","https://openalex.org/W4400582609","https://openalex.org/W4403486309","https://openalex.org/W4404652862","https://openalex.org/W4405556610","https://openalex.org/W4409796840","https://openalex.org/W4411264925","https://openalex.org/W4411552423","https://openalex.org/W4413679659","https://openalex.org/W4415746213","https://openalex.org/W7125980312"],"related_works":[],"abstract_inverted_index":{"Translating":[0],"legacy":[1],"C":[2,82,108],"codebases":[3],"to":[4,29,41,48,67,84,117],"Rust":[5,45,86,131],"is":[6],"increasingly":[7],"demanded":[8],"for":[9,18,79,94],"building":[10],"safety-critical":[11],"systems.":[12],"While":[13],"various":[14],"approaches":[15],"have":[16,60],"emerged":[17],"this":[19,71],"task,":[20],"they":[21],"face":[22],"inherent":[23],"trade-offs:":[24],"rule-based":[25,165,221],"methods":[26,38],"often":[27],"struggle":[28],"satisfy":[30],"code":[31,215],"safety":[32,216],"and":[33,120,122,153,166,174,204],"idiomaticity":[34],"requirements,":[35],"while":[36,209],"LLM-based":[37,167,197],"frequently":[39],"fail":[40],"generate":[42],"semantically":[43],"equivalent":[44,85],"code,":[46],"due":[47],"the":[49,55,107,140,161,179,195,219],"heavy":[50],"dependencies":[51],"of":[52,100,163,182],"modules":[53],"across":[54],"entire":[56],"codebase.":[57],"Recent":[58],"studies":[59],"revealed":[61],"that":[62,191],"both":[63,164],"solutions":[64],"are":[65],"limited":[66],"small-scale":[68],"programs.":[69],"In":[70],"paper,":[72],"we":[73],"propose":[74],"EvoC2Rust,":[75],"an":[76],"automated":[77],"framework":[78],"converting":[80],"complete":[81],"projects":[83,177],"ones.":[87],"EvoC2Rust":[88,159,183],"employs":[89,113],"a":[90,114,129,212],"skeleton-guided":[91],"translation":[92],"strategy":[93],"project-level":[95,185],"translation.":[96,187],"The":[97,188],"pipeline":[98],"consists":[99],"three":[101],"stages:":[102],"1)":[103],"it":[104,134,146],"first":[105],"decomposes":[106],"project":[109],"into":[110],"functional":[111],"modules,":[112],"feature-mapping-enhanced":[115],"LLM":[116,152],"transform":[118],"definitions":[119],"macros,":[121],"generates":[123],"type-checked":[124],"function":[125],"stubs,":[126],"which":[127],"form":[128],"compilable":[130],"skeleton;":[132],"2)":[133],"then":[135],"incrementally":[136],"translates":[137],"functions,":[138],"replacing":[139],"corresponding":[141],"stub":[142],"placeholders;":[143],"3)":[144],"finally,":[145],"repairs":[147],"compilation":[148],"errors":[149],"by":[150,199],"integrating":[151],"static":[154],"analysis.":[155],"Through":[156],"evolutionary":[157],"augmentation,":[158],"combines":[160],"advantages":[162],"solutions.":[168],"Our":[169],"evaluation":[170],"on":[171],"open-source":[172],"benchmarks":[173],"six":[175],"industrial":[176],"demonstrates":[178],"superior":[180],"performance":[181],"in":[184,201,206],"C-to-Rust":[186],"results":[189],"show":[190],"our":[192],"approach":[193],"outperforms":[194],"strongest":[196],"baseline":[198],"17.24%":[200],"syntax":[202],"accuracy":[203],"14.32%":[205],"semantic":[207],"accuracy,":[208],"also":[210],"achieving":[211],"43.59%":[213],"higher":[214],"rate":[217],"than":[218],"best":[220],"tool.":[222]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-07-12T00:00:00"}