AI 时代的可信编程：大模型与程序分析结合的 Rust 软件工程支撑技术
00:00 / 00:00
1x
6 月 26 日，2026 开放原子开源生态大会·AI 时代 Rust 编程语言应用与发展论坛在北京圆满举办，南京大学准聘副教授冯洋分享了《AI 时代的可信编程：大模型与程序分析结合的 Rust 软件工程支撑技术》，为 Rust 软件工程的智能化提供了坚实的理论基础。
演讲材料
/ 1
6 月 26 日，2026 开放原子开源生态大会·AI 时代 Rust 编程语言应用与发展论坛在北京圆满举办，南京大学准聘副教授冯洋分享了《AI 时代的可信编程：大模型与程序分析结合的 Rust 软件工程支撑技术》，为 Rust 软件工程的智能化提供了坚实的理论基础。