← All collections
ai & computation
Ferrous Bridge: Verified C-to-Rust Migration
4 papers · full PDFs hosted on-site.
| # | Paper | |
|---|---|---|
| 01 | Climbing the Safety Ladder: From c2rust's Raw Lift to Idiomatic Safe Rust via Differential Fuzzing, Miri, and Refinement Verification A 1-Week libyaml Case Study and Generalization to libexpat | PDF ↗ |
| 02 | The C Language as a Translation Source: Semantics, Undefined Behavior, and the libyaml Idiom Set A Reference for the Ferrous Bridge -to- Pipeline | PDF ↗ |
| 03 | Idiomatic Safe Rust as a Translation Target: Ownership, Lifetimes, and ABI-Compatible Parser Design A Case Study in safe-libyaml | PDF ↗ |
| 04 | Ferrous Bridge: A C → Rust Automated Agent Orchestration Pipeline with Type Checks and Safety Guarantees A Synthesis of the c, rust, and c-rust-transpiling Companion Papers | PDF ↗ |