conference paper Open access

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification

Tianyang Zhou^a, Ziyi Zhang^b, Haowen Lin^a, Somesh Jha^{b c}, Mihai Christodorescu^c, Кирилл Левченко^a, Varun Chandrasekaran^a

^aUniversity of Illinois Urbana-Champaign
^bUniversity of Wisconsin-Madison
^cGoogle

Annual Meeting of the Association for Computational Linguistics (ACL)2026-01-01 1 citations

Looking for the full paper…

Export

Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.

Abstract

Tianyang Zhou, Ziyi Zhang, Haowen Lin, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.

Plain-language summary

AI illustration of the topic of “SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification”

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification

Abstract

Plain-language summary

Discussion