C to Rust

We have ran a user study against 30+ participants on translating C programs to Rust (around 500 LoC). Our findings are published in NDSS 2025, as a paper titled Translating C To Rust: Lessons from a User Study.

Currently, we are building a system on C to Rust translation. It is still working-in-progress.

We try to sidestep limitations of c2rust-based approach and explore alternative ways of doing the translation.