报告人：田永强 助理教授 澳大利亚蒙纳士大学

主持人：李必信

报告时间：2025年12月16日（周二）上午10:00-11:00

报告地点：金牌影院 九龙湖校区计算机楼413室

报告摘要：长期以来，编译器工程领域高度依赖深厚的专家知识与大量人工投入，以完成诸如发现隐蔽缺陷或优化性能等任务。然而，这种劳动密集型的流程从根本上制约了开发与分析的效率。本次报告将介绍我们如何用大语言模型优化这一流程。我们将深入讨论大语言模型如何智能化地（1）为遗漏的窥孔优化（peephole optimization）生成候选方案，以及（2）实现语言特定转换以自动化缺陷调试。

报告人简介：田永强博士现任澳大利亚蒙纳士大学助理教授。2023年在加拿大滑铁卢大学和香港科技大学获得双博士学位。其研究聚焦于软件测试与调试领域，尤其关注编译器与深度学习系统。所提出的技术已在GCC、LLVM、TVM等广泛使用的软件系统中发现了超过200个软件缺陷，并发表于TOSEM, ICSE, ASPLOS, FSE, ASE, ISSTA, EmSE, IJCAI等顶级同行评审期刊和会议。他的研究获得了包括微软、思科在内的知名资助机构及工业合作伙伴的支持。现担任ACM SIGSOFT Information Director以及多个会议（FSE’26/ISSTA’26/ASE’25）程序委员。