Buchumschlag

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Shiraishi, Momoko, Cao, Yinzhi, Shinagawa, Takahiro
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PILOT: Command-line Interface Fuzzing via Path-Guided, Iterative Large Language Model Prompting
von: Shiraishi, Momoko, et al.
Veröffentlicht: (2025)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
von: Yan, Yanyan, et al.
Veröffentlicht: (2026)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
von: Wang, Chaofan, et al.
Veröffentlicht: (2025)

Translating Large-Scale C Repositories to Idiomatic Rust
von: Dehghan, Saman, et al.
Veröffentlicht: (2025)

Code Quality Analysis of Translations from C to Rust
von: Tadesse, Biruk, et al.
Veröffentlicht: (2026)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
von: Nitin, Vikram, et al.
Veröffentlicht: (2025)

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
von: Hong, Jaemin, et al.
Veröffentlicht: (2024)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
von: Luo, Feng, et al.
Veröffentlicht: (2025)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
von: Cai, Xuemeng, et al.
Veröffentlicht: (2025)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
von: Ou, Guangsheng, et al.
Veröffentlicht: (2024)

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

Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
von: Feng, Jia, et al.
Veröffentlicht: (2026)

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
von: Yuan, Zhiqiang, et al.
Veröffentlicht: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
von: Yang, Aidan Z. H., et al.
Veröffentlicht: (2024)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
von: Bedell, Sarah, et al.
Veröffentlicht: (2026)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
von: Jiang, Renshuang, et al.
Veröffentlicht: (2026)

Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
von: Hong, Jaemin, et al.
Veröffentlicht: (2025)

Build-Aware Incremental C-to-Rust Migration via Skeleton-First Translation and Historical Knowledge Reuse
von: Wang, Shengbo, et al.
Veröffentlicht: (2026)

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
von: Molz, Marius, et al.
Veröffentlicht: (2026)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
von: Bai, Yubo, et al.
Veröffentlicht: (2025)

Translating C To Rust: Lessons from a User Study
von: Li, Ruishi, et al.
Veröffentlicht: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
von: Gao, Yifei, et al.
Veröffentlicht: (2025)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
von: Farrukh, Muhammad, et al.
Veröffentlicht: (2026)

Documentation-Guided Agentic Codebase Migration from C to Rust
von: Le-Anh, Minh, et al.
Veröffentlicht: (2026)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
von: Eniser, Hasan Ferit, et al.
Veröffentlicht: (2024)

Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System
von: Weiss, Martin, et al.
Veröffentlicht: (2025)

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

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
von: Luo, Yu, et al.
Veröffentlicht: (2025)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
von: P, Akilesh, et al.
Veröffentlicht: (2026)

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
von: Li, Tianyu, et al.
Veröffentlicht: (2025)

SafeTrans: LLM-assisted Transpilation from C to Rust
von: Farrukh, Muhammad, et al.
Veröffentlicht: (2025)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
von: Liang, Linxi, et al.
Veröffentlicht: (2025)

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
von: Nitin, Vikram, et al.
Veröffentlicht: (2023)

Towards Modified Condition/Decision Coverage of Rust
von: Zaeske, Wanja, et al.
Veröffentlicht: (2024)

From Translation to Superset: Benchmark-Driven Evolution of a Production AI Agent from Rust to Python
von: Wang, Jinhua, et al.
Veröffentlicht: (2026)

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

A first look at ROS 2 applications written in asynchronous Rust
von: Škoudlil, Martin, et al.
Veröffentlicht: (2025)

An Interactive Debugger for Rust Trait Errors
von: Gray, Gavin, et al.
Veröffentlicht: (2025)

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
von: Cui, Mohan, et al.
Veröffentlicht: (2024)