Reboot: Mostly-Automatic Translation of Language Interpreters From C to Safe Rust

arXiv 2606.27122·medium signal

Translating C to safe Rust is hard because of differences in typing, ownership, and borrowing — and interpreters are high-value targets since they handle untrusted input and suffer memory bugs. Reboot is a mostly-automatic technique that translated six real-world interpreters ranging from 6k to 23k lines into safe Rust. It's a practical signal for teams considering memory-safety migrations of legacy C codebases.