&inator is the first system to produce correct and precise Rust interfaces from C declarations via a constraint-based model of semantic equivalence and borrow checking.
Aliasing limits on translating C to safe rust
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
PtrTrans builds a Pointer Knowledge Graph with points-to flows, struct abstractions, and Rust annotations to guide LLMs toward project-level C-to-Rust translations that cut unsafe code by 99.9% and raise functional correctness by 29.3%.
citing papers explorer
-
&inator: Correct, Precise C-to-Rust Interface Translation
&inator is the first system to produce correct and precise Rust interfaces from C declarations via a constraint-based model of semantic equivalence and borrow checking.
-
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
PtrTrans builds a Pointer Knowledge Graph with points-to flows, struct abstractions, and Rust annotations to guide LLMs toward project-level C-to-Rust translations that cut unsafe code by 99.9% and raise functional correctness by 29.3%.
- Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment