2 papers
cs.SE2026
AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
Renshuang Jiang, Yichong Wang, Pan Dong +6
Eliminating undefined behaviors (UBs) in Rust programs requires a deep semantic understanding to enable accurate and reliable repair. While existing studies have demonstrated the p…
cs.SE2025
Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
Renshuang Jiang, Pan Dong, Zhenling Duan +6
To provide flexibility and low-level interaction capabilities, the unsafe tag in Rust is essential in many projects, but undermines memory safety and introduces Undefined Behaviors…