报告人：陈俊洁 教授 天津大学

报告时间：2025年7月22日上午9:00-12:00

报告地点：av电影 九龙湖校区计算机楼413室

报告摘要：AI编译器是优化AI模型硬件执行效率的核心工具，通过图优化、算子融合等技术显著提升计算性能。然而，其复杂的优化过程可能引入计算错误、性能退化等缺陷，导致模型失效或安全隐患。因此，深入理解缺陷成因并设计高效检测方法，对保障AI系统可靠性、推动高效部署具有重要意义。团队开展首个面向AI编译器的缺陷理解研究，揭示了典型缺陷根因及其发生阶段，并设计了有效的测试技术，为TVM、TensorRT等主流AI编译器检测到上百个新缺陷，得到社区认可，突出实际有效性。

报告人简介：陈俊洁，天津大学智能与计算学部教授，软件工程团队负责人，博士生导师，主持国家优青、重点研发计划青年科学家等项目；博士毕业于北京大学；研究方向主要为基础软件测试、可信人工智能、数据驱动的软件工程等；入选中国科协青年人才托举工程、斯坦福大学发布的全球前2%顶尖科学家榜单，荣获CCF优博、电子学会自然科学一等奖、七项最佳/杰出论文奖等奖项；成果在华为等多家知名企业落地；担任CCF系统软件专委常委，ASEJ、JCST等期刊编委/青年编委，ICSE、FSE、ASE、ISSTA等顶会PC。