@misc{indiciaec08d40b59c8c,
  title = {Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis},
  author = {Manish Shetty and Naman Jain and Adwait Godbole and Sanjit A. Seshia and Koushik Sen},
  year = {2024},
  url = {https://arxiv.org/abs/2412.14234},
  note = {Source identifier: 2412.14234}
}