Buchumschlag

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jiang, Renshuang, Wang, Yichong, Dong, Pan, Fang, Xiaoxiang, Duan, Zhenling, Wang, Tinglue, Hu, Yuchen, Yu, Jie, Jiang, Zhe
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
von: Jiang, Renshuang, et al.
Veröffentlicht: (2025)

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

Strix: Re-thinking NPU Reliability from a System Perspective
von: Guan, Jiapeng, et al.
Veröffentlicht: (2026)

MaxMind: A Memory Loop Network to Enhance Software Productivity based on Large Language Models
von: Dong, Yuchen, et al.
Veröffentlicht: (2024)

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

FlexStep: Enabling Flexible Error Detection in Multi/Many-core Real-time Systems
von: Wang, Tinglue, 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)

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

MEIC: Re-thinking RTL Debug Automation using LLMs
von: Xu, Ke, et al.
Veröffentlicht: (2024)

NPB-Rust: NAS Parallel Benchmarks in Rust
von: Martins, Eduardo M., et al.
Veröffentlicht: (2025)

RustSAT: A Library For SAT Solving in Rust
von: Jabs, Christoph
Veröffentlicht: (2025)

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

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
von: Wu, Jinhua, et al.
Veröffentlicht: (2026)

PermRust: A Token-based Permission System for Rust
von: Gehring, Lukas, et al.
Veröffentlicht: (2025)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
von: Shiraishi, Momoko, et al.
Veröffentlicht: (2024)

RustMC: Extending the GenMC stateless model checker to Rust
von: Pearce, Oliver, 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)

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
von: Ye, Junhao, et al.
Veröffentlicht: (2026)

Luna-Rust.jl
von: Valenzuela Berríos, Diego Andrés, et al.
Veröffentlicht: (2026)

Old Rusted Barrel
von: BenBerger
Veröffentlicht: (2022)

Reimplementing Mizar in Rust
von: Carneiro, Mario
Veröffentlicht: (2023)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
von: Tas, Wannes, et al.
Veröffentlicht: (2026)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
von: Amaral, Isabella Basso do, et al.
Veröffentlicht: (2025)

From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification
von: Ye, Junhao, et al.
Veröffentlicht: (2025)

Hexasphere: Rust sphere generation
von: Buhring Espinoza, Patrik
Veröffentlicht: (2026)

Charon: An Analysis Framework for Rust
von: Ho, Son, et al.
Veröffentlicht: (2024)

Business. Rust never sleeps
Veröffentlicht: (2002)

Surveying the Rust Verification Landscape
von: Blanc, Alex Le, et al.
Veröffentlicht: (2024)

Auditing Rust Crates Effectively
von: Zoghbi, Lydia, et al.
Veröffentlicht: (2026)

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
von: Yoshimura, Nao, et al.
Veröffentlicht: (2025)

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

Annotating and Auditing the Safety Properties of Unsafe Rust
von: Rao, Zihao, et al.
Veröffentlicht: (2025)

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

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

An Empirical Security Evaluation of LLM-Generated Cryptographic Rust Code
von: Elsayed, Mohamed, et al.
Veröffentlicht: (2026)

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
von: Khatry, Anirudh, et al.
Veröffentlicht: (2025)

From Characterization to Microarchitecture: Designing an Elegant and Reliable BFP-Based NPU
von: Zhang, Jie, et al.
Veröffentlicht: (2026)

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback
von: Wang, Ning, et al.
Veröffentlicht: (2025)

Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents
von: Xiang, Jiahong, et al.
Veröffentlicht: (2026)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)