TY  - RPRT
TI  - SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
AU  - Tianyang Zhou
AU  - Ziyi Zhang
AU  - Haowen Lin
AU  - Somesh Jha
AU  - Mihai Christodorescu
AU  - Kirill Levchenko
AU  - Varun Chandrasekaran
PY  - 2025
UR  - https://arxiv.org/abs/2503.12511
ID  - 2503.12511
ER  -