作者位次 #3/7ACL 2026Poster· Natural Language Processing
SACTOR : LLM -Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI -Based Verification
Tianyang Zhou · Ziyi Zhang · Haowen Lin · Somesh Jha · Mihai Christodorescu · Kirill Levchenko · Varun Chandrasekaran
摘要
Translating software written in C to Rust has significant benefits in improving memory safety. However, manual translation is cumbersome, error-prone, and often produces unidiomatic code. Large language models (LLMs) have demonstrated promise in producing idiomatic translations, but offer no corr...