TY  - RPRT
TI  - Mostly Automatic Translation of Language Interpreters from C to Safe Rust
AU  - Bo Wang
AU  - Brandon Paulsen
AU  - Joey Dodds
AU  - Daniel Kroening
AU  - Umang Mathur
AU  - Prateek Saxena
PY  - 2026
UR  - https://arxiv.org/abs/2606.27122
ID  - 2606.27122
ER  -