@misc{indiciae22c6252e41ec,
  title = {SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence},
  author = {Momoko Shiraishi and Yinzhi Cao and Takahiro Shinagawa},
  year = {2025},
  doi = {10.1145/3744916.3773259},
  url = {https://arxiv.org/abs/2409.10506},
  note = {Source identifier: 2409.10506}
}