Fetching the paper…
Reading the bibliography…
In recent years, there has been a lot of interest in converting C code to Rust, to benefit from the memory and thread safety guarantees of Rust.
An investigation of the therac-25 accidents
Nancy G Leveson and Clark S Turner · 1993
Earlier work this paper cites.
Secure Coding in C and C++
Robert C Seacord · 2013
Earlier work this paper cites.
The matter of heartbleed
Zakir Durumeric, Frank Li, James Kasten, Johanna Amann, Jethro Beekman, Mathias Payer, Nicolas Weaver, David Adrian, Vern Paxson, Michael Bailey, et al · 2014
Earlier work this paper cites.
C2Rust, 08 2018
Galois · 2018
Earlier work this paper cites.
Aaron Weiss, Olek Gierczak, Daniel Patterson, and Amal Ahmed · 2019
Earlier work this paper cites.
How do programmers use unsafe rust?
Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, and Alexander J Summers · 2020
Earlier work this paper cites.
Unsupervised translation of programming languages
Baptiste Roziere, Marie-Anne Lachaux, Lowik Chanussot, and Guillaume Lample · 2020
Earlier work this paper cites.
Avatar: A parallel corpus for java-python program translation
Wasi Uddin Ahmad, Md Golam Rahman Tushar, Saikat Chakraborty, and Kai-Wei Chang · 2021
Earlier work this paper cites.
Translating c to safer rust
Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf · 2021
Earlier work this paper cites.
Safer at any speed: automatic context-aware safety enhancement for rust
Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I August, and Amit Levy · 2021
Cited alongside, same era.
Codenet: A large-scale ai for code dataset for learning a diversity of coding tasks
Ruchir Puri, David S Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir Choudhury, Lindsey Decker, et al · 2021
Cited alongside, same era.
Leveraging automated unit tests for unsupervised code translation
Baptiste Roziere, Jie M Zhang, Francois Charton, Mark Harman, Gabriel Synnaeve, and Guillaume Lample · 2021
Cited alongside, same era.
Summarize and generate to back-translate: Unsupervised translation of programming languages
Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, and Kai-Wei Chang · 2022
Cited alongside, same era.
Aliasing limits on translating c to safe rust
Repository-level compositional code translation and validation
Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi, Muhammad Salman Abid, Rangeet Pan, Saurabh Sinha, and Reyhaneh Jabbarvand · 2024
Later among the works it cites.
Translating c to rust: Lessons from a user study
Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, and Ashish Kundu · 2024
Later among the works it cites.
Vikram Nitin, Rahul Krishna, and Baishakhi Ray · 2024
Later among the works it cites.
Lost in translation: A study of bugs introduced by large language models while translating code
Rangeet Pan, Ali Reza Ibrahimzada, Rahul Krishna, Divya Sankar, Lambert Pouguem Wassi, Michele Merler, Boris Sobolev, Raju Pavuluri, Saurabh Sinha, and Reyhaneh Jabbarvand · 2024
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf · 2023
Cited alongside, same era.
Is your code generated by chatGPT really correct? rigorous evaluation of large language models for code generation
Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, and Lingming Zhang · 2023
Cited alongside, same era.
Yarn: Efficient context window extension of large language models
Bowen Peng, Jeffrey Quesnelle, Honglu Fan, and Enrico Shippole · 2023
Cited alongside, same era.
Ownership guided c to rust translation
Hanliang Zhang, Cristina David, Yijun Yu, and Meng Wang · 2023
Cited alongside, same era.
Don’t write, but return: Replacing output parameters with algebraic data types in c-to-rust translation
Jaemin Hong and Sukyoung Ryu
Cited in the paper.
To tag, or not to tag: Translating c’s unions to rust’s tagged unions
Jaemin Hong and Sukyoung Ryu
Cited in the paper.
Vert: Verified equivalent rust transpilation with large language models as few-shot learners
Aidan ZH Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, and Daniel Kroening
Cited in the paper.
Exploring and unleashing the power of large language models in automated code translation
Zhen Yang, Fang Liu, Zhongxing Yu, Jacky Wai Keung, Jia Li, Shuo Liu, Yifan Hong, Xiaoxue Ma, Zhi Jin, and Ge Li
Cited in the paper.
Manish Shetty, Naman Jain, Adwait Godbole, Sanjit A Seshia, and Koushik Sen · 2024
Later among the works it cites.
Context-aware code segmentation for c-to-rust translation using large language models
Momoko Shiraishi and Takahiro Shinagawa · 2024
Later among the works it cites.
The rust reference
The Rust Project Developers · 2024
Later among the works it cites.
Scalable, validated code translation of entire projects using large language models
Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, and Daniel Kroening · 2024
Later among the works it cites.