@misc{indiciaefe3074f5e1d9,
  title = {Mostly Automatic Translation of Language Interpreters from C to Safe Rust},
  author = {Bo Wang and Brandon Paulsen and Joey Dodds and Daniel Kroening and Umang Mathur and Prateek Saxena},
  year = {2026},
  url = {https://arxiv.org/abs/2606.27122},
  note = {Source identifier: 2606.27122}
}