TY  - RPRT
TI  - SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
AU  - Momoko Shiraishi
AU  - Yinzhi Cao
AU  - Takahiro Shinagawa
PY  - 2025
DO  - 10.1145/3744916.3773259
UR  - https://arxiv.org/abs/2409.10506
ID  - 2409.10506
ER  -