Papers by Kirill Levchenko
SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification (2026.acl-long)
Copied to clipboard
Tianyang Zhou, Ziyi Zhang, Haowen Lin, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran
| Challenge: | Large language models (LLMs) have shown promise in producing idiomatic translations, but offer no correctness guarantees. |
| Approach: | They propose a C-to-Rust translation tool that uses an initial "unidiomatic" translation followed by an "idiomatic refinement" they evaluate SACTOR on 200 programs from two datasets and two more complex scenarios . |
| Outcome: | The proposed tool delivers high end-to-end correctness and produces safe, idiomatic Rust with up to 7 fewer Clippy warnings. |