@misc{indiciaec3c0b44165fe,
  title = {SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification},
  author = {Tianyang Zhou and Ziyi Zhang and Haowen Lin and Somesh Jha and Mihai Christodorescu and Kirill Levchenko and Varun Chandrasekaran},
  year = {2025},
  url = {https://arxiv.org/abs/2503.12511},
  note = {Source identifier: 2503.12511}
}