SpeC2Rust targets four bottlenecks in repository-level C-to-Rust migration: recovering the project's algorithmic intent, eliminating unsafe constructs, preserving cross-file interfaces, and repairing failures efficiently.
Specification-driven pipeline translates C repositories into memory-safe Rust
A three-stage system compiles eight C projects to safe Rust that passes original end-to-end tests, cutting cost by 66.1% and input tokens by 84.7% versus an LLM baseline.
Chinese Tech
Junjie Yao · Xiongzheng Guan · Jia Feng · Yujia Chen · Hongliang Tian · Cuiyun Gao
Harbin Institute of Technology Shenzhen · Ant Group
Research Digest··2 min read
The authors present SpeC2Rust, a three-stage pipeline that translates entire C repositories into memory-safe Rust.
The Daily Edition
The front page in your inbox each weekday morning: the lead, the picks, and why each one earned its place.