Fetching the paper…
Reading the bibliography…
Memory safety vulnerabilities remain prevalent in today's software systems and one promising solution to mitigate them is to adopt memory-safe languages such as Rust.
The Case for Memory Safe Roadmaps: Why Both C-Suite Executives and Technical Experts Need to Take Memory Safe Coding Seriously
United States Cybersecurity, Infrastructure Security Agency, United States National Security Agency United States Federal Bureau of Investigation, Australian Signals Directorate’s Australian Cyber Security Centre, Canadian Centre for Cyber Security, United Kingdom National Cyber Security Centre, New Zealand National Cyber Security Centre, and Computer Emergency Response Team New Zealand. 2003 · 2003
Earlier work this paper cites.
Translating C to safer Rust
Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf. 2021 · 2021
Earlier work this paper cites.
Frugalgpt: How to use large language models while reducing cost and improving performance
Lingjiao Chen, Matei Zaharia, and James Zou. 2023 · 2023
Earlier work this paper cites.
Fixing rust compilation errors using llms
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, and Aseem Rastogi. 2023 · 2023
Earlier work this paper cites.
Aliasing limits on translating c to safe rust
Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf. 2023 · 2023
Earlier work this paper cites.
Rust Won’t Save Us: An Analysis of 2023’s Known Exploited Vulnerabilities
Zach Hanley. 2023 · 2023
Earlier work this paper cites.
Concrat: An automatic C-to-Rust lock API translator for concurrent programs. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 716–728
Jaemin Hong and Sukyoung Ryu. 2023 · 2023
Earlier work this paper cites.
Repairllama: Efficient representations and fine-tuned adapters for program repair
André Silva, Sen Fang, and Martin Monperrus. 2023 · 2023
Earlier work this paper cites.
Ownership guided C to Rust translation. In International Conference on Computer Aided Verification . Springer, 459–482
Hanliang Zhang, Cristina David, Yijun Yu, and Meng Wang. 2023 · 2023
Earlier work this paper cites.
Context window
Anthropic. 2024 · 2024
Earlier work this paper cites.
Manish Bhattarai, Javier E Santos, Shawn Jones, Ayan Biswas, Boian Alexandrov, and Daniel O’Malley. 2024 · 2024
Earlier work this paper cites.
Repairagent: An autonomous, llm-based agent for program repair
Islem Bouzenia, Premkumar Devanbu, and Michael Pradel. 2024 · 2024
Earlier work this paper cites.
LASSI: An LLM-based Automated Self-Correcting Pipeline for Translating Parallel Scientific Codes
Matthew T Dearing, Yiheng Tao, Xingfu Wu, Zhiling Lan, and Valerie Taylor. 2024 · 2024
Earlier work this paper cites.
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Joey Dodds, and Daniel Kroening. 2024 · 2024
Earlier work this paper cites.
Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
Jaemin Hong and Sukyoung Ryu. 2024 · 2024
Cited alongside, same era.
Program Decomposition and Translation with Static Analysis. In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings . 453–455
Ali Reza Ibrahimzada. 2024 · 2024
Cited alongside, same era.
SWE-bench: Can Language Models Resolve Real-world Github Issues?. In The Twelfth International Conference on Learning Representations
Carlos E Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R Narasimhan. 2024 · 2024
Cited alongside, same era.
Mosh Levy, Alon Jacoby, and Yoav Goldberg. 2024 · 2024
Cited alongside, same era.
Aider LLM Leaderboards
aider. 2025 · 2025
Closest in time.
Recommended C style and coding rules
c-code style. 2025 · 2025
Closest in time.
libclang: C Interface to Clang
clang 20.0.0git. 2025 · 2025
Closest in time.
Crate url
Docs.rs. 2025 · 2025
Closest in time.
FastestWebsiteEver
FastestWebsiteEver. 2025 · 2025
Closest in time.
Type-migrating C-to-Rust translation using a large language model
Jaemin Hong and Sukyoung Ryu. 2025 · 2025
Closest in time.
Rust error codes index
Rust Programming Language. 2025 · 2025
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Ruishi Li, Bo Wang, Tianyu Li, Prateek Saxena, and Ashish Kundu. 2024 · 2024
Cited alongside, same era.
Lost in translation: A study of bugs introduced by large language models while translating code. In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering . 1–13
Rangeet Pan, Ali Reza Ibrahimzada, Rahul Krishna, Divya Sankar, Lambert Pouguem Wassi, Michele Merler, Boris Sobolev, Raju Pavuluri, Saurabh Sinha, and Reyhaneh Jabbarvand. 2024 · 2024
Cited alongside, same era.
Semantic Analysis of Macro Usage for Portability. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering . 1–12
Brent Pappas and Paul Gazzillo. 2024 · 2024
Cited alongside, same era.
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
Manish Shetty, Naman Jain, Adwait Godbole, Sanjit A Seshia, and Koushik Sen. 2024 · 2024
Cited alongside, same era.
Vert: Verified equivalent rust transpilation with few-shot learning
Aidan ZH Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, and Daniel Kroening. 2024b · 2024
Cited alongside, same era.
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. 2024a · 2024
Cited alongside, same era.
Rectifier: Code Translation with Corrector via LLMs
Xin Yin, Chao Ni, Tien N Nguyen, Shaohua Wang, and Xiaohu Yang. 2024 · 2024
Cited alongside, same era.
A Systematic Literature Review on Large Language Models for Automated Program Repair
Quanjun Zhang, Chunrong Fang, Yang Xie, YuXiang Ma, Weisong Sun, and Yun Yang Zhenyu Chen. 2024 · 2024
Cited alongside, same era.
mark sweep. 2025 · 2025
Closest in time.
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
Vikram Nitin, Rahul Krishna, Luiz Lemos do Valle, and Baishakhi Ray. 2025b · 2025
Closest in time.
Conditional compilation
The Rust Reference. 2025 · 2025
Closest in time.
tiny-AES-c
tiny AES-c. 2025 · 2025
Closest in time.
Tinyhttpd
Tinyhttpd. 2025 · 2025
Closest in time.
Scalable, validated code translation of entire projects using large language models
Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, and Daniel Kroening. 2025 · 2025
Closest in time.