报告题目：Marrying up Machine Learning and Program Analysis for Software Testing

报告人：Zheng Wang  讲席教授 英国利兹大学

邀请人：任杰

报告时间：12月25日（周四）上午10:00

报告地点：肉漫画 长安校区文津楼3415

报告摘要：

编译器和底层运行库是现代软件系统的基础，但即使是成熟且被广泛使用的实现，仍然存在大量隐藏的缺陷。随着软件规模和复杂度不断增加，传统测试方法成本高、覆盖有限，越来越难以发现关键的软件漏洞。

本讲座介绍一种将机器学习与程序分析相结合的软件测试方法。通过自动生成测试程序并智能地引导测试路径，该方法在 JavaScript 编译器和系统软件（包括 Linux 内核）中发现了大量此前未知的缺陷。报告将展示这些技术如何提升测试效率，并说明它们如何帮助我们构建更可靠的软件系统。

报告人简介：

Zheng Wang是英国利兹大学(University of Leeds) 计算机学院智能软件技术讲席教授、英国皇家学会杰出人才 (Royal Society Industry Fellow)。曾任英国阿兰·图灵研究院会士（Turing Fellow）。他的主要研究方向聚焦于编译器及程序优化、并行计算、软件测试及机器学习等领域。其研究成果获得7次国际权威会议的最佳论文奖、CGO 2024时间检验奖（Test of Time Award）以及4次欧洲HiPEAC论文奖。他的研究强调理论与工程应用并重，已成功主持多项英国国家级基金与工业界科研项目，累计科研经费超过1000万英镑。研究成果在IBM、ARM、Meta (Facebook)、华为、腾讯、阿里巴巴等企业及LLVM开源社区落地应用，并多次获得BBC、福布斯杂志、新华社等国际媒体的广泛报道。