{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:06:50Z","timestamp":1784300810234,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62472126"],"award-info":[{"award-number":["62472126"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,5]]},"DOI":"10.1145\/3803437.3805266","type":"proceedings-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:27:39Z","timestamp":1784298459000},"page":"954-965","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-5509-4724","authenticated-orcid":false,"given":"Jia","family":"Feng","sequence":"first","affiliation":[{"name":"Harbin Institute of Technology, Shenzhen, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-6092-3248","authenticated-orcid":false,"given":"Wenjie","family":"Gan","sequence":"additional","affiliation":[{"name":"Southeast university of China, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4774-2434","authenticated-orcid":false,"given":"Cuiyun","family":"Gao","sequence":"additional","affiliation":[{"name":"Harbin Institute of Technology, Shenzhen, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3935-7328","authenticated-orcid":false,"given":"Chaozheng","family":"Wang","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6437-0893","authenticated-orcid":false,"given":"Feng","family":"Luo","sequence":"additional","affiliation":[{"name":"Harbin Institute of Technology, Shenzhen, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6302-3256","authenticated-orcid":false,"given":"Xin","family":"Xia","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5828-0186","authenticated-orcid":false,"given":"Ge","family":"Li","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0145-615X","authenticated-orcid":false,"given":"Kui","family":"Liu","sequence":"additional","affiliation":[{"name":"Huawei, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Rust (programming language). https:\/\/en.wikipedia.org\/wiki\/Rust_(programming_language)."},{"key":"e_1_3_2_1_2_1","volume-title":"d.]. tree-sitter","year":"2023","unstructured":"[n. d.]. tree-sitter. 2023. https:\/\/github.com\/tree-sitter\/tree-sitter."},{"key":"e_1_3_2_1_3_1","volume-title":"Semdedup: Data-efficient learning at web-scale through semantic deduplication. arXiv preprint arXiv:2303.09540","author":"Abbas Amro","year":"2023","unstructured":"Amro Abbas, Kushal Tirumala, D\u00e1niel Simig, Surya Ganguli, and Ari S Morcos. 2023. Semdedup: Data-efficient learning at web-scale through semantic deduplication. arXiv preprint arXiv:2303.09540 (2023)."},{"key":"e_1_3_2_1_4_1","unstructured":"Yannick Assogba and Donghao Ren. [n. d.]. Evaluating Long Range Dependency Handling in Code Generation LLMs. Transactions on Machine Learning Research ([n. d.])."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2503.17741"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.18653\/V1\/2024.FINDINGS-ACL.137"},{"key":"e_1_3_2_1_7_1","volume-title":"Memory Safety for Low-Level Software\/Hardware Interactions. In 18th USENIX Security Symposium","author":"Criswell John","year":"2009","unstructured":"John Criswell, Nicolas Geoffray, and Vikram S. Adve. 2009. Memory Safety for Low-Level Software\/Hardware Interactions. In 18th USENIX Security Symposium, Montreal, Canada, August 10\u201314, 2009, Proceedings, Fabian Monrose (Ed.). USENIX Association, 83\u2013100."},{"key":"e_1_3_2_1_8_1","unstructured":"DARPA. [n. d.]. TRACTOR: Translating All C to Rust. https:\/\/www.darpa.mil\/research\/programs\/translating-all-c-to-rust."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586046"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485498"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695552"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-024-00765-y"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2412.15042"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2505.04852"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-025-09422-z"},{"key":"e_1_3_2_1_16_1","unstructured":"Daya Guo Qihao Zhu Dejian Yang Zhenda Xie Kai Dong Wentao Zhang Guanting Chen Xiao Bi Yu Wu YK Li et al. 2024. DeepSeek-Coder: When the Large Language Model Meets Programming-The Rise of Code Intelligence. arXiv preprint arXiv:2401.14196 (2024)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00069"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3694985"},{"key":"e_1_3_2_1_19_1","volume-title":"Forcrat: Automatic I\/O API Translation from C to Rust via Origin and Capability Analysis. arXiv:2506.01427 [cs.SE] https:\/\/arxiv.org\/abs\/2506.01427","author":"Hong Jaemin","year":"2025","unstructured":"Jaemin Hong and Sukyoung Ryu. 2025. Forcrat: Automatic I\/O API Translation from C to Rust via Origin and Capability Analysis. arXiv:2506.01427 [cs.SE] https:\/\/arxiv.org\/abs\/2506.01427"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.18653\/V1\/2024.ACL-LONG.78"},{"key":"e_1_3_2_1_21_1","unstructured":"Binyuan Hui Jian Yang Zeyu Cui Jiaxi Yang Dayiheng Liu Lei Zhang Tianyu Liu Jiajun Zhang Bowen Yu Keming Lu et al. 2024. Qwen2. 5-coder technical report. arXiv preprint arXiv:2409.12186 (2024)."},{"key":"e_1_3_2_1_22_1","unstructured":"Immunant Inc. [n. d.]. C2Rust: Source-to-Source C-to-Rust Transpiler. https:\/\/c2rust.com."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.18653\/V1\/2024.ACL-LONG.367"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2504.15254"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSEC.2024.3385357"},{"key":"e_1_3_2_1_26_1","unstructured":"Kornel Lesi\u0144ski. [n. d.]. Speed of Rust vs C. https:\/\/kornel.ski\/rust-c-speed."},{"key":"e_1_3_2_1_27_1","volume-title":"aiXcoder-7B-v2: Training LLMs to Fully Utilize the Long Context in Repository-level Code Completion. arXiv preprint arXiv:2503.15301","author":"Li Jia","year":"2025","unstructured":"Jia Li, Hao Zhu, Huanyu Liu, Xianjie Shi, He Zong, Yihong Dong, Kechi Zhang, Siyuan Jiang, Zhi Jin, and Ge Li. 2025. aiXcoder-7B-v2: Training LLMs to Fully Utilize the Long Context in Repository-level Code Completion. arXiv preprint arXiv:2503.15301 (2025)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.241407"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3728933"},{"key":"e_1_3_2_1_30_1","unstructured":"Jiaheng Liu Dawei Zhu Zhiqi Bai Yancheng He Huanxuan Liao Haoran Que Zekun Wang Chenchen Zhang Ge Zhang Jiebin Zhang et al. 2025. A comprehensive survey on long context language modeling. arXiv preprint arXiv:2503.17407 (2025)."},{"key":"e_1_3_2_1_31_1","volume-title":"Integrating Rules and Semantics for LLM-Based C-to-Rust Translation. arXiv preprint arXiv:2508.06926","author":"Luo Feng","year":"2025","unstructured":"Feng Luo, Kexing Ji, Cuiyun Gao, Shuzheng Gao, Jia Feng, Kui Liu, Xin Xia, and Michael R Lyu. 2025. Integrating Rules and Semantics for LLM-Based C-to-Rust Translation. arXiv preprint arXiv:2508.06926 (2025)."},{"key":"e_1_3_2_1_32_1","unstructured":"Microsoft Security Response Center. 2019. A Proactive Approach to More Secure Code. https:\/\/msrc.microsoft.com\/blog\/2019\/07\/a-proactive-approach-to-more-secure-code\/."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2501.14257"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639226"},{"key":"e_1_3_2_1_35_1","volume-title":"Codebleu: a method for automatic evaluation of code synthesis. arXiv preprint arXiv:2009.10297","author":"Ren Shuo","year":"2020","unstructured":"Shuo Ren, Daya Guo, Shuai Lu, Long Zhou, Shujie Liu, Duyu Tang, Neel Sundaresan, Ming Zhou, Ambrosio Blanco, and Shuai Ma. 2020. Codebleu: a method for automatic evaluation of code synthesis. arXiv preprint arXiv:2009.10297 (2020)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2412.14234"},{"key":"e_1_3_2_1_37_1","volume-title":"Large Language Model-Powered Agent for C to Rust Code Translation. arXiv preprint arXiv:2505.15858","author":"Sim HoHyun","year":"2025","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. arXiv preprint arXiv:2505.15858 (2025)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2505.15858"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3729341"},{"key":"e_1_3_2_1_40_1","volume-title":"APIRAT: Integrating Multi-source API Knowledge for Enhanced Code Translation with LLMs. arXiv preprint arXiv:2504.14852","author":"Wang Chaofan","year":"2025","unstructured":"Chaofan Wang, Guanjie Qiu, Xiaodong Gu, and Beijun Shen. 2025. APIRAT: Integrating Multi-source API Knowledge for Enhanced Code Translation with LLMs. arXiv preprint arXiv:2504.14852 (2025)."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3728963"},{"key":"e_1_3_2_1_42_1","volume-title":"VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners. arXiv:2404.18852 [cs.PL] https:\/\/arxiv.org\/abs\/2404.18852","author":"Yang Aidan Z. H.","year":"2024","unstructured":"Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, and Daniel Kroening. 2024. VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners. arXiv:2404.18852 [cs.PL] https:\/\/arxiv.org\/abs\/2404.18852"},{"key":"e_1_3_2_1_43_1","volume-title":"Constructing a Dataset of Functionally Equivalent Python Methods Using Test Generation Techniques. IEICE Transactions on Information and Systems","author":"Shiyu YANG, Yusheng GUO, Akihiro","year":"2025","unstructured":"Shiyu YANG, Yusheng GUO, Akihiro TABATA, and Yoshiki HIGO. 2025. Constructing a Dataset of Functionally Equivalent Python Methods Using Test Generation Techniques. IEICE Transactions on Information and Systems (2025)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3660778"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112149"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_22"},{"key":"e_1_3_2_1_47_1","volume-title":"Unifying the Perspectives of NLP and Software Engineering: A Survey on Language Models for Code. Trans. Mach. Learn. Res. 2024","author":"Zhang Ziyin","year":"2024","unstructured":"Ziyin Zhang, Chaoyu Chen, Bingchang Liu, Cong Liao, Zi Gong, Hang Yu, Jianguo Li, and Rui Wang. 2024. Unifying the Perspectives of NLP and Software Engineering: A Survey on Language Models for Code. Trans. Mach. Learn. Res. 2024 (2024). https:\/\/openreview.net\/forum?id=hkNnGqZnpa"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2503.12511"}],"event":{"name":"FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering","location":"Concordia University Montreal QC Canada","acronym":"FSE Companion '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3803437.3805266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:37:59Z","timestamp":1784299079000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803437.3805266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":48,"alternative-id":["10.1145\/3803437.3805266","10.1145\/3803437"],"URL":"https:\/\/doi.org\/10.1145\/3803437.3805266","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}