Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors - Jiang, Renshuang; Dong, Pan; Duan, Zhenling; Shi, Yu; Fang, Xiaoxiang; Ding, Yan; Ma, Jun; Zhao, Shuai; Jiang, Zhe (2025 62nd ACM/IEEE Design Automation Conference (DAC), Design Automation Conference (DAC), 2025 62nd ACM/IEEE, 2025)