Image de couverture de livre

Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jiang, Renshuang, Dong, Pan, Duan, Zhenling, Shi, Yu, Fang, Xiaoxiang, Ding, Yan, Ma, Jun, Zhao, Shuai, Jiang, Zhe
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
par: Jiang, Renshuang, et autres
Publié: (2026)

MaxMind: A Memory Loop Network to Enhance Software Productivity based on Large Language Models
par: Dong, Yuchen, et autres
Publié: (2024)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
par: McCormack, Ian, et autres
Publié: (2024)

Reasoning as a Resource: Optimizing Fast and Slow Thinking in Code Generation Models
par: Li, Zongjie, et autres
Publié: (2025)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
par: Cai, Xuemeng, et autres
Publié: (2025)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
par: Chu, Bei, et autres
Publié: (2025)

Experimenting a New Programming Practice with LLMs
par: Zhang, Simiao, et autres
Publié: (2024)

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
par: Gao, Hongyan, et autres
Publié: (2026)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
par: Yan, Yanyan, et autres
Publié: (2026)

Static Deadlock Detection for Rust Programs
par: Zhang, Yu, et autres
Publié: (2024)

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
par: Molz, Marius, et autres
Publié: (2026)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
par: Eniser, Hasan Ferit, et autres
Publié: (2024)

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
par: Ni, Yunbo, et autres
Publié: (2024)

Humanity's Last Code Exam: Can Advanced LLMs Conquer Human's Hardest Code Competition?
par: Li, Xiangyang, et autres
Publié: (2025)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
par: Ou, Guangsheng, et autres
Publié: (2024)

Automated Proof Generation for Rust Code via Self-Evolution
par: Chen, Tianyu, et autres
Publié: (2024)

FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments
par: Liu, Fang, et autres
Publié: (2024)

Evaluating the Generalizability of LLMs in Automated Program Repair
par: Li, Fengjie, et autres
Publié: (2025)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
par: P, Akilesh, et autres
Publié: (2026)

EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
par: Wang, Chaofan, et autres
Publié: (2025)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
par: Nitin, Vikram, et autres
Publié: (2025)

MEIC: Re-thinking RTL Debug Automation using LLMs
par: Xu, Ke, et autres
Publié: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
par: Gao, Yifei, et autres
Publié: (2025)

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
par: Cui, Mohan, et autres
Publié: (2024)

May the Feedback Be with You! Unlocking the Power of Feedback-Driven Deep Learning Framework Fuzzing via LLMs
par: Yang, Shaoyu, et autres
Publié: (2025)

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
par: Di, Nongyu, et autres
Publié: (2026)

CangjieBench: Benchmarking LLMs on a Low-Resource General-Purpose Programming Language
par: Cheng, Junhang, et autres
Publié: (2026)

Towards Modified Condition/Decision Coverage of Rust
par: Zaeske, Wanja, et autres
Publié: (2024)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
par: Shiraishi, Momoko, et autres
Publié: (2024)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
par: Bai, Yubo, et autres
Publié: (2025)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
par: Liang, Linxi, et autres
Publié: (2025)

ThinkRepair: Self-Directed Automated Program Repair
par: Yin, Xin, et autres
Publié: (2024)

Code Quality Analysis of Translations from C to Rust
par: Tadesse, Biruk, et autres
Publié: (2026)

Rethinking Kernel Program Repair: Benchmarking and Enhancing LLMs with RGym
par: Shehada, Kareem, et autres
Publié: (2025)

Unlocking Adaptive User Experience with Generative AI
par: Huang, Yutan, et autres
Publié: (2024)

Harnessing Hype to Teach Empirical Thinking: An Experience With AI Coding Assistants
par: Wyrich, Marvin, et autres
Publié: (2026)

Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
par: Liu, Fang, et autres
Publié: (2025)

An Interactive Debugger for Rust Trait Errors
par: Gray, Gavin, et autres
Publié: (2025)

Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights
par: Krishna, Rahul, et autres
Publié: (2024)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
par: Farrukh, Muhammad, et autres
Publié: (2026)