“计算有约”是北京大学计算机学院主办的品牌学术分享活动。活动邀请计算机学院在学术科研、生涯发展等方面取得了突出成就的在读研究生、博士后、青年教师以及校友们给大家分享自己的成长故事。在这里，同学们能与优秀的嘉宾面对面交流，拓宽科研工作视野，提升自身发展素养。

本学年第二期，我们邀请到了申博、王冠成两位同学给大家分享在ESEC/FSE'21会议上荣获ACM SIGSOFT杰出论文奖的论文，欢迎大家参加！

计算有约

本期分享嘉宾

北京大学计算机软件与理论专业2016级博士研究生

申博

申博，北京大学计算机软件与理论专业2016级博士生，导师为金芝教授。主要研究方向为群体智能与协同软件开发，以及基于图神经网络的程序分析与理解等。

报告主题：

基于图的原子性代码提交辅助工具SmartCommit

报告摘要：

在群体协作的软件开发中，代码提交作为开发者最频繁的操作之一，有必要遵循“原子性提交”这一最佳实践。然而，实际的开源和工业项目中都普遍存在“复合提交”现象，即开发者经常习惯性地将一段时间内做出的所有代码变更一次性提交，即使其中包含的代码变更对应于多项不相关的意图或任务。

本次报告将介绍一个代码提交辅助工具SmartCommit，其主要目的是通过自动生成变更分组建议并允许开发者交互式调整，引导和辅助开发者规范其代码提交。目前该工具已被华为超过10个产品线团队、500名以上工程师用作日常使用的提交工具。

北京大学计算机软件与理论专业2018级博士研究生

王冠成

王冠成，北京大学计算机软件与理论专业2018级博士生，导师是熊英飞副教授。主要研究方向是软件测试与调试。目前已发表CCF A类论文3篇，其中两篇获得ACM SIGSOFT杰出论文奖。

报告主题：

概率差异化调试方法

报告摘要：

差异化调试是基本的自动化调试手段之一，其效率和效果是长期制约差异化调试应用范围的首要因素。二者的提升也非常困难：虽然涉及差异化调试的论文已达数千篇，约20年前提出的ddmin算法仍然是几乎所有现代差异化调试算法的核心。该研究工作对差异化调试问题进行概率建模，并提出了根据测试结果更新概率模型和根据概率模型最优化采样的方法，形成全新的概率差异化调试方法ProbDD。实验表明，ProbDD无论是效率还是效果相对ddmin都有约2倍的提升。由于ddmin是几乎所有现代差异化调试算法的核心，通过将ddmin替换成ProbDD，该研究结果有望全面提升现代差异化调试的效率和效果。

讲座时间: 

2021年11月19日 周五 19:00

腾讯会议ID: 957 481 150

群二维码