Validating C-to-Rust Translations
Re-testing automated C-to-Rust translations on inputs they never saw, to check whether the translated Rust still behaves like the original C.
⚠️ This project is a work in progress.
A growing number of tools, most of them built on large language models, now translate C into Rust automatically, and each reports how often its translations are correct — but that number comes from the tool’s own correctness check, which is rarely tested itself. This project asks whether a translation that passed its own check still behaves like the original C on inputs it has never seen, by running the C program and its Rust translation side by side on fresh inputs and comparing what they do. If you want to talk more about this work, email me at mhassnain@ucdavis.edu.