Search papers, labs, and topics across Lattice.
ORBIT is introduced as an autonomous agentic framework for C-to-Rust translation, addressing limitations of existing LLM-based approaches by using dynamic context collection, dependency-guided orchestration, and iterative verification. It constructs a dependency-aware translation graph and coordinates specialized agents to translate C functions to Rust. Evaluated on CRUST-Bench, ORBIT achieves 100% compilation success and 91.7% test success, significantly outperforming existing tools while minimizing unsafe Rust code.
LLMs can now autonomously translate entire C projects to Rust with near-perfect accuracy, thanks to a novel agentic framework that dynamically navigates dependencies and iteratively verifies translations.
Large-scale migration of legacy C code to Rust offers a promising path toward improving memory safety, but LLM-based C-to-Rust translation remains challenging due to limited context windows and hallucinations. Prior approaches are evaluated primarily on small programs or datasets skewed toward small codebases, providing limited insight into scalability on real-world systems. They also rely on static context construction, which breaks down in the presence of complex cross-module dependencies and often requires manual intervention. Recent coding agents offer a promising alternative through dynamic codebase navigation and context curation. When used out of the box, however, they frequently produce incomplete translations that appear superficially correct. We present ORBIT, an autonomous agentic framework for project-level C-to-Rust translation that combines dynamic context collection with dependency-guided orchestration and iterative verification. ORBIT constructs a dependency-aware translation graph, generates Rust interfaces, maps C functions to Rust counterparts, and coordinates multiple specialized agents. We evaluate ORBIT on 24 programs from CRUST-Bench, with 91.7% of the programs exceeding 1,000 lines of code. ORBIT achieves 100% compilation success and 91.7% test success in both expert-interface and automatically generated-interface settings, substantially outperforming C2Rust and CRUST-Bench, while reducing unsafe Rust code blocks to nearly zero. We further evaluate ORBIT on challenging cases from the DARPA TRACTOR benchmark, where it achieves competitive performance relative to participating systems.