conftrace_
← Authors

Tianyang Zhou

1 papers · 2026–2026 · 1 conference · across top CS/AI conferences

Conferences

ACL (1)

Top co-authors

Kirill Levchenko (1) Mihai Christodorescu (1) Somesh Jha (1) Ziyi Zhang (1) Haowen Lin (1) Varun Chandrasekaran (1)

Keywords

static analysis (1) memory safety (1) c to rust translation (1) pointer semantics (1) foreign function interface (1)

Papers

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