Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
c to rust translation
c to rust translation
1 paper
Explore in graph
Co-occurring keywords
· papers mentioning both
pointer semantics
(1)
foreign function interface
(1)
memory safety
(1)
static analysis
(1)
Papers
SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
ACL 2026
<
1
>