mlsanityData to 14 Oct 2026

Ownership guided C to Rust translation

arXiv 2303.10515 ↗First posted 18 Mar 2023cs.PL cs.SEcited by 13

Not on the map. Why?

Abstract (arXiv)

Dubbed a safer C, Rust is a modern programming language that combines memory safety and low-level control. This interesting combination has made Rust very popular among developers and there is a growing trend of migrating legacy codebases (very often in C) to Rust. In this paper, we present a C to Rust translation approach centred around static ownership analysis. We design a suite of analyses that infer ownership models of C pointers and automatically translate the pointers into safe Rust equivalents. The resulting tool, Crown, scales to real-world codebases (half a million lines of code in less than 10 seconds) and achieves a high conversion rate.

Key facts. Cited by 13 papers in the map (data through 14 Oct 2026). First posted on arXiv 18 Mar 2023.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2024: 1; 2025: 8; 2026: 4.

13 papers.

Sort:

By area:

  1. 2025CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilationcited by 19
  2. 2025EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translationcited by 19
  3. 2024Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysiscited by 16
  4. 2025SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verificationcited by 9
  5. 2025Raw Pointer Rewriting with LLMs for Translating C to Safer Rustcited by 4
  6. 2025Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translationcited by 3
  7. 2025Project-Level C-to-Rust Translation via Pointer Knowledge Graphscited by 3
  8. 2026ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translationcited by 2
  9. 2025C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluationcited by 1
  10. 2025BabelCoder: Agentic Code Translation with Specification Alignmentcited by 1
  11. 2026His2Trans: A Knowledge-Guided Agentic Framework for Project-Level C-to-Rust Migrationcited by 1
  12. 2026ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilationcited by 1
1 more
  1. 2026Translator vs. Challenger: Adversarial Agentic Learning for C-to-Rust Translationcited by 0