{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T10:11:45Z","timestamp":1783764705158,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2023YFB4503802"],"award-info":[{"award-number":["2023YFB4503802"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62232003"],"award-info":[{"award-number":["62232003"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007219","name":"Natural Science Foundation of Shanghai","doi-asserted-by":"publisher","award":["25ZR1401175"],"award-info":[{"award-number":["25ZR1401175"]}],"id":[{"id":"10.13039\/100007219","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786583.3786856","type":"proceedings-article","created":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:12:14Z","timestamp":1783761134000},"page":"94-105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-3797-1770","authenticated-orcid":false,"given":"Chaofan","family":"Wang","sequence":"first","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2039-5770","authenticated-orcid":false,"given":"Tingrui","family":"Yu","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8370-3956","authenticated-orcid":false,"given":"Beijun","family":"Shen","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9578-883X","authenticated-orcid":false,"given":"Jie","family":"Wang","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3751-7997","authenticated-orcid":false,"given":"Dong","family":"Chen","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6972-7038","authenticated-orcid":false,"given":"Wenrui","family":"Zhang","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9738-7072","authenticated-orcid":false,"given":"Yuling","family":"Shi","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8708-8170","authenticated-orcid":false,"given":"Chen","family":"Xie","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0529-6408","authenticated-orcid":false,"given":"Xiaodong","family":"Gu","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,11]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"2025. C2Rust: Migrate C code to Rust. https:\/\/github.com\/immunant\/c2rust."},{"key":"e_1_3_3_1_3_2","unstructured":"2025. The Rust Compiler (rustc). https:\/\/doc.rust-lang.org\/rustc\/."},{"key":"e_1_3_3_1_4_2","unstructured":"2025. Tree-Sitter: An incremental parsing system for programming tools. https:\/\/tree-sitter.github.io\/tree-sitter."},{"key":"e_1_3_3_1_5_2","unstructured":"Alibaba. 2025. Qwen3-32B Model. https:\/\/huggingface.co\/Qwen\/Qwen3-32B."},{"key":"e_1_3_3_1_6_2","unstructured":"Anthropic. 2024. Claude 4 Technical Report. https:\/\/www.anthropic.com\/index\/claude-4."},{"key":"e_1_3_3_1_7_2","unstructured":"Xuemeng Cai Jiakun Liu Xiping Huang Yijun Yu Haitao Wu Chunmiao Li Bo Wang Imam Nur\u00a0Bani Yusuf and Lingxiao Jiang. 2025. RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM. CoRR abs\/2503.17741 (2025)."},{"key":"e_1_3_3_1_8_2","unstructured":"DARPA-SN-24-89. 2024. Translating All C TO Rust (TRACTOR). https:\/\/www.darpa.mil\/program\/translating-all-c-to-rust."},{"key":"e_1_3_3_1_9_2","unstructured":"DeepSeek-AI. 2025. DeepSeek-V3 Model. https:\/\/api.deepseek.com."},{"key":"e_1_3_3_1_10_2","unstructured":"Saman Dehghan Tianran Sun Tianxiang Wu Zihan Li and Reyhaneh Jabbarvand. 2025. Translating Large-Scale C Repositories to Idiomatic Rust. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2511.20617 (2025)."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Mehmet Emre Peter Boyland Aesha Parekh Ryan Schroeder Kyle Dewey and Ben Hardekopf. 2023. Aliasing Limits on Translating C to Safe Rust. Proc. ACM Program. Lang. 7 OOPSLA1 (2023) 551\u2013579.","DOI":"10.1145\/3586046"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Mehmet Emre Ryan Schroeder Kyle Dewey and Ben Hardekopf. 2021. Translating C to safer Rust. Proc. ACM Program. Lang. 5 OOPSLA (2021) 1\u201329.","DOI":"10.1145\/3485498"},{"key":"e_1_3_3_1_13_2","unstructured":"Hasan\u00a0Ferit Eniser Hanliang Zhang Cristina David Meng Wang Maria Christakis Brandon Paulsen Joey Dodds and Daniel Kroening. 2024. Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. CoRR abs\/2405.11514 (2024)."},{"key":"e_1_3_3_1_14_2","unstructured":"Muhammad Farrukh Smeet Shah Baris Coskun and Michalis Polychronakis. 2025. SafeTrans: LLM-assisted Transpilation from C to Rust. CoRR abs\/2505.10708 (2025)."},{"key":"e_1_3_3_1_15_2","unstructured":"Yifei Gao Chengpeng Wang Pengxiang Huang Xuwei Liu Mingwei Zheng and Xiangyu Zhang. 2025. PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust. CoRR abs\/2505.04852 (2025)."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00069"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Jaemin Hong and Sukyoung Ryu. 2024. Don\u2019t Write but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation. Proc. ACM Program. Lang. 8 PLDI (2024) 716\u2013740.","DOI":"10.1145\/3656406"},{"key":"e_1_3_3_1_18_2","first-page":"40","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024","author":"Hong Jaemin","year":"2024","unstructured":"Jaemin Hong and Sukyoung Ryu. 2024. To Tag, or Not to Tag: Translating C\u2019s Unions to Rust\u2019s Tagged Unions. In Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024. ACM, 40\u201352."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Jaemin Hong and Sukyoung Ryu. 2025. Forcrat: Automatic I\/O API Translation from C to Rust via Origin and Capability Analysis. CoRR abs\/2506.01427 (2025).","DOI":"10.1109\/ASE63991.2025.00130"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Jaemin Hong and Sukyoung Ryu. 2025. Type-migrating C-to-Rust translation using a large language model. Empir. Softw. Eng. 30 1 (2025) 3.","DOI":"10.1007\/s10664-024-10573-2"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00114"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Ismet\u00a0Burak Kadron Yannic Noller Rohan Padhye Tevfik Bultan Corina\u00a0S. Pasareanu and Koushik Sen. 2024. Fuzzing Symbolic Execution and Expert Guidance for Better Testing. IEEE Softw. 41 1 (2024) 98\u2013104.","DOI":"10.1109\/MS.2023.3237981"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Sungmin Kang Bei Chen Shin Yoo and Jian-Guang Lou. 2025. Explainable automated debugging via large language model-driven scientific debugging. Empir. Softw. Eng. 30 2 (2025) 45.","DOI":"10.1007\/s10664-024-10594-x"},{"key":"e_1_3_3_1_24_2","unstructured":"Anirudh Khatry Robert Zhang Jia Pan Ziteng Wang Qiaochu Chen Greg Durrett and Isil Dillig. 2025. CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation. CoRR abs\/2504.15254 (2025)."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Per Larsen. 2024. Migrating C to Rust for Memory Safety. IEEE Secur. Priv. 22 4 (2024) 22\u201329.","DOI":"10.1109\/MSEC.2024.3385357"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.241407"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Xuan Li Shuai Yuan Xiaodong Gu Yuting Chen and Beijun Shen. 2024. Few-shot code translation via task-adapted prompt learning. J. Syst. Softw. 212 (2024) 112002.","DOI":"10.1016\/j.jss.2024.112002"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion55297.2022.9793767"},{"key":"e_1_3_3_1_29_2","unstructured":"Bob Lord. 2023. The Urgent Need for Memory Safety in Software Products. https:\/\/www.cisa.gov\/news-events\/news\/urgent-need-memory-safety-software-products."},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME64153.2025.00069"},{"key":"e_1_3_3_1_31_2","unstructured":"Vikram Nitin Rahul Krishna Luiz\u00a0Lemos do Valle and Baishakhi Ray. 2025. C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques. CoRR abs\/2501.14257 (2025)."},{"key":"e_1_3_3_1_32_2","unstructured":"Vikram Nitin and Baishakhi Ray. 2024. SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications. CoRR abs\/2405.18574 (2024)."},{"key":"e_1_3_3_1_33_2","unstructured":"Beijing\u00a0Academy of Artificial\u00a0Intelligence. 2025. M3-Embedding: Multi-Linguality Multi-Functionality Multi-Granularity Text Embeddings Through Self-Knowledge Distillation. https:\/\/huggingface.co\/BAAI\/bge-m3."},{"key":"e_1_3_3_1_34_2","unstructured":"Office of the National Cyber Director. 2024. Back to the building blocks: A path toward secure and measurable software. https:\/\/www.whitehouse.gov\/wp-content\/uploads\/2024\/02\/Final-ONCD-Technical-Report.pdf."},{"key":"e_1_3_3_1_35_2","unstructured":"Guangsheng Ou Mingwei Liu Yuxuan Chen Xin Peng and Zibin Zheng. 2024. Repository-level Code Translation Benchmark Targeting Rust. CoRR abs\/2411.13990 (2024)."},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639226"},{"key":"e_1_3_3_1_37_2","volume-title":"Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual","author":"Rozi\u00e8re Baptiste","year":"2020","unstructured":"Baptiste Rozi\u00e8re, Marie-Anne Lachaux, Lowik Chanussot, and Guillaume Lample. 2020. Unsupervised Translation of Programming Languages. In Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual."},{"key":"e_1_3_3_1_38_2","unstructured":"Manish Shetty Naman Jain Adwait Godbole Sanjit\u00a0A. Seshia and Koushik Sen. 2024. Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis. CoRR abs\/2412.14234 (2024)."},{"key":"e_1_3_3_1_39_2","unstructured":"Yuling Shi Songsong Wang Chengcheng Wan and Xiaodong Gu. 2024. From code to correctness: Closing the last mile of code generation with hierarchical debugging. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2410.01215 (2024)."},{"key":"e_1_3_3_1_40_2","unstructured":"Momoko Shiraishi and Takahiro Shinagawa. 2024. Context-aware Code Segmentation for C-to-Rust Translation using Large Language Models. CoRR abs\/2409.10506 (2024)."},{"key":"e_1_3_3_1_41_2","unstructured":"HoHyun Sim Hyeonjoong Cho Yeonghyeon Go Zhoulai Fu Ali Shokri and Binoy Ravindran. 2025. Large Language Model-Powered Agent for C to Rust Code Translation. CoRR abs\/2505.15858 (2025)."},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC65559.2024.00046"},{"key":"e_1_3_3_1_43_2","unstructured":"Vivo. 2025. Benchmark for Vivo C-to-Rust Innovation Competition. https:\/\/atomgit.com\/vivoblueos2\/vivo_blueos_contest2_c2rust\/tree\/master\/01-BlueOS2_Translation\/Input\/01-Primary."},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC65507.2025.00176"},{"key":"e_1_3_3_1_45_2","unstructured":"Yanli Wang Yanlin Wang Suiquan Wang Daya Guo Jiachi Chen John\u00a0C. Grundy Xilin Liu Yuchi Ma Mingzhi Mao Hongyu Zhang and Zibin Zheng. 2024. RepoTransBench: A Real-World Benchmark for Repository-Level Code Translation. CoRR abs\/2412.17744 (2024)."},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"crossref","unstructured":"Alex Williams. 2024. Improving Memory Management Performance with Rust: Why Rust is becoming the programming language of choice for many high-level developers. Commun. ACM 67 9 (2024) 8\u20139.","DOI":"10.1145\/3673648"},{"key":"e_1_3_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00127"},{"key":"e_1_3_3_1_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3735544.3735582"},{"key":"e_1_3_3_1_49_2","unstructured":"Aidan Z.\u00a0H. Yang Yoshiki Takashima Brandon Paulsen Josiah Dodds and Daniel Kroening. 2024. VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning. CoRR abs\/2404.18852 (2024)."},{"key":"e_1_3_3_1_50_2","doi-asserted-by":"crossref","unstructured":"Zhen Yang Fang Liu Zhongxing Yu Jacky\u00a0Wai Keung Jia Li Shuo Liu Yifan Hong Xiaoxue Ma Zhi Jin and Ge Li. 2024. Exploring and Unleashing the Power of Large Language Models in Automated Code Translation. Proc. ACM Softw. Eng. 1 FSE (2024) 1585\u20131608.","DOI":"10.1145\/3660778"},{"key":"e_1_3_3_1_51_2","doi-asserted-by":"crossref","unstructured":"Shangbo Yun Shuhuai Lin Xiaodong Gu and Beijun Shen. 2024. Project-specific code summarization with in-context learning. J. Syst. Softw. 216 (2024) 112149.","DOI":"10.1016\/j.jss.2024.112149"},{"key":"e_1_3_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_22"},{"key":"e_1_3_3_1_53_2","unstructured":"Tianyang Zhou Haowen Lin Somesh Jha Mihai Christodorescu Kirill Levchenko and Varun Chandrasekaran. 2025. LLM-Driven Multi-step Translation from C to Rust using Static Analysis. CoRR abs\/2503.12511 (2025)."},{"key":"e_1_3_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i10.21434"},{"key":"e_1_3_3_1_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/3520312.3534864"}],"event":{"name":"ICSE-SEIP '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-SEIP '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786583.3786856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:14:44Z","timestamp":1783761284000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786583.3786856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":54,"alternative-id":["10.1145\/3786583.3786856","10.1145\/3786583"],"URL":"https:\/\/doi.org\/10.1145\/3786583.3786856","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}