{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T21:29:08Z","timestamp":1771018148619,"version":"3.50.1"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000143","name":"NSF Computing and Communication Foundations","doi-asserted-by":"crossref","award":["2313055"],"award-info":[{"award-number":["2313055"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000143","name":"NSF Computing and Communication Foundations","doi-asserted-by":"crossref","award":["2107405"],"award-info":[{"award-number":["2107405"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"crossref"}]},{"name":"NSF Faculty Early Career Development Program","award":["2025082"],"award-info":[{"award-number":["2025082"]}]},{"name":"NSF Program on Fairness in Artificial Intelligence","award":["2040961"],"award-info":[{"award-number":["2040961"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1109\/tse.2025.3641486","type":"journal-article","created":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T18:32:52Z","timestamp":1765305172000},"page":"618-630","source":"Crossref","is-referenced-by-count":4,"title":["C2SaferRust: Transforming C Projects Into Safer Rust With NeuroSymbolic Techniques"],"prefix":"10.1109","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-8620-8255","authenticated-orcid":false,"given":"Vikram","family":"Nitin","sequence":"first","affiliation":[{"name":"Department of Computer Science, Columbia University, New York, NY, USA"}]},{"given":"Rahul","family":"Krishna","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center, Yorktown Heights, NY, USA"}]},{"given":"Luiz Lemos do","family":"Valle","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Columbia University, New York, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3406-5235","authenticated-orcid":false,"given":"Baishakhi","family":"Ray","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Columbia University, New York, NY, USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.143"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.eacl-main.112"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3428204"},{"key":"ref4","article-title":"How the GNU coreutils are tested","year":"2017"},{"key":"ref5","article-title":"Citrus Contributors","year":"2017"},{"key":"ref6","article-title":"Corrode Contributors","year":"2017"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2663716.2663755"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3485498"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3586046"},{"key":"ref10","article-title":"Galois","year":"2018"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3656406"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3694985"},{"key":"ref13","article-title":"Repository-level compositional code translation and validation","author":"Ibrahimzada","year":"2024"},{"key":"ref14","volume-title":"Program Slicing: An Application of Object-Oriented Program Dependency Graphs","author":"Krishnaswamy","year":"1994"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.241407"},{"key":"ref17","article-title":"Is your code generated by chatGPT really correct? rigorous evaluation of large language models for code generation","volume-title":"Thirty-seventh Conference on Neural Information Processing Systems","author":"Liu","year":"2023"},{"key":"ref18","article-title":"Spectra: Enhancing the code translation ability of language models by generating multi-modal specifications","author":"Nitin","year":"2024"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639226"},{"key":"ref20","article-title":"Yarn: Efficient context window extension of large language models","author":"Peng","year":"2023"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3485480"},{"key":"ref22","article-title":"Codenet: A large-scale ai for code dataset for learning a diversity of coding tasks","author":"Puri","year":"2021"},{"key":"ref23","first-page":"20601","article-title":"Unsupervised translation of programming languages","volume":"33","author":"Roziere","year":"2020","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"ref24","article-title":"Leveraging automated unit tests for unsupervised code translation","author":"Roziere","year":"2021"},{"key":"ref25","volume-title":"Secure Coding in C and C++.","author":"Seacord","year":"2013"},{"key":"ref26","article-title":"Syzygy: Dual code-test C to (safe) rust translation using LLMS and dynamic analysis","author":"Shetty","year":"2024"},{"key":"ref27","article-title":"Context-aware code segmentation for C-to-rust translation using large language models","author":"Shiraishi","year":"2024"},{"key":"ref28","article-title":"The rust reference","year":"2023"},{"key":"ref29","article-title":"Oxide: The essence of rust","author":"Weiss","year":"2019"},{"key":"ref30","article-title":"Vert: Verified equivalent rust transpilation with large language models as few-shot learners","author":"Yang","year":"2024a"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3660778"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_22"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3729315"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11395383\/11285862.pdf?arnumber=11285862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T20:49:43Z","timestamp":1771015783000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11285862\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":33,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3641486","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2]]}}}