Copertina

&inator: Correct, Precise C-to-Rust Interface Translation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Victor, Coughlin, Ayden, Bond, Michael D.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Cocoon: Static Information Flow Control in Rust
di: Lamba, Ada, et al.
Pubblicazione: (2023)

Scylla: Translating an Applicative Subset of C to Safe Rust
di: Fromherz, Aymeric, et al.
Pubblicazione: (2024)

Translating Large-Scale C Repositories to Idiomatic Rust
di: Dehghan, Saman, et al.
Pubblicazione: (2025)

Crux, a Precise Verifier for Rust and Other Languages
di: Pernsteiner, Stuart, et al.
Pubblicazione: (2024)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
di: Zhou, Tianyang, et al.
Pubblicazione: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
di: Gao, Yifei, et al.
Pubblicazione: (2025)

Translating C To Rust: Lessons from a User Study
di: Li, Ruishi, et al.
Pubblicazione: (2024)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
di: Sim, HoHyun, et al.
Pubblicazione: (2025)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
di: Tas, Wannes, et al.
Pubblicazione: (2026)

Towards a Transpiler for C/C++ to Safer Rust
di: Tripuramallu, Dhiren, et al.
Pubblicazione: (2024)

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
di: Sim, Hohyun, et al.
Pubblicazione: (2026)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
di: Wu, Jinhua, et al.
Pubblicazione: (2026)

Auditing Rust Crates Effectively
di: Zoghbi, Lydia, et al.
Pubblicazione: (2026)

Charon: An Analysis Framework for Rust
di: Ho, Son, et al.
Pubblicazione: (2024)

Surveying the Rust Verification Landscape
di: Blanc, Alex Le, et al.
Pubblicazione: (2024)

PermRust: A Token-based Permission System for Rust
di: Gehring, Lukas, et al.
Pubblicazione: (2025)

RustMC: Extending the GenMC stateless model checker to Rust
di: Pearce, Oliver, et al.
Pubblicazione: (2025)

NPB-Rust: NAS Parallel Benchmarks in Rust
di: Martins, Eduardo M., et al.
Pubblicazione: (2025)

Annotating and Auditing the Safety Properties of Unsafe Rust
di: Rao, Zihao, et al.
Pubblicazione: (2025)

A Hybrid Approach to Semi-automated Rust Verification
di: Ayoun, Sacha-Élie, et al.
Pubblicazione: (2024)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
di: Liu, Zixi, et al.
Pubblicazione: (2025)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
di: Chen, Hung-Mao, et al.
Pubblicazione: (2025)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
di: Matsushita, Yusuke, et al.
Pubblicazione: (2026)

An Interactive Debugger for Rust Trait Errors
di: Gray, Gavin, et al.
Pubblicazione: (2025)

Garbage Collection for Rust: The Finalizer Frontier
di: Hughes, Jacob, et al.
Pubblicazione: (2025)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
di: Lian, Qihao, et al.
Pubblicazione: (2025)

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
di: Oishi, Mebuki, et al.
Pubblicazione: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
di: Ho, Son, et al.
Pubblicazione: (2024)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
di: Geng, Chujun, et al.
Pubblicazione: (2024)

An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
di: Jacobs, Bart, et al.
Pubblicazione: (2025)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
di: Grannan, Zachary, et al.
Pubblicazione: (2025)

Filament: Denning-Style Information Flow Control for Rust
di: Ching, Jeffrey C., et al.
Pubblicazione: (2026)

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation
di: Sirlanci, Melih, et al.
Pubblicazione: (2025)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
di: Britton, Matthew, et al.
Pubblicazione: (2026)

Static Deadlock Detection for Rust Programs
di: Zhang, Yu, et al.
Pubblicazione: (2024)

Suki: Choreographed Distributed Dataflow in Rust
di: Laddad, Shadaj, et al.
Pubblicazione: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
di: Rao, Zihao, et al.
Pubblicazione: (2024)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
di: Shetty, Manish, et al.
Pubblicazione: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
di: Zhou, Zixu
Pubblicazione: (2025)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
di: Blanc, Alex Le, et al.
Pubblicazione: (2025)