“計算有約”是beat365官方网站主辦的品牌學術分享活動。活動邀請beat365在學術科研、生涯發展等方面取得了突出成就的在讀研究生、博士後、青年教師以及校友們給大家分享自己的成長故事。在這裡，同學們能與優秀的嘉賓面對面交流，拓寬科研工作視野，提升自身發展素養。

本學年第二期，我們邀請到了申博、王冠成兩位同學給大家分享在ESEC/FSE'21會議上榮獲ACM SIGSOFT傑出論文獎的論文，歡迎大家參加！

計算有約

本期分享嘉賓

beat365計算機軟件與理論專業2016級博士研究生

申博

申博，beat365計算機軟件與理論專業2016級博士生，導師為金芝教授。主要研究方向為群體智能與協同軟件開發，以及基于圖神經網絡的程序分析與理解等。

報告主題：

基于圖的原子性代碼提交輔助工具SmartCommit

報告摘要：

在群體協作的軟件開發中，代碼提交作為開發者最頻繁的操作之一，有必要遵循“原子性提交”這一最佳實踐。然而，實際的開源和工業項目中都普遍存在“複合提交”現象，即開發者經常習慣性地将一段時間内做出的所有代碼變更一次性提交，即使其中包含的代碼變更對應于多項不相關的意圖或任務。

本次報告将介紹一個代碼提交輔助工具SmartCommit，其主要目的是通過自動生成變更分組建議并允許開發者交互式調整，引導和輔助開發者規範其代碼提交。目前該工具已被華為超過10個産品線團隊、500名以上工程師用作日常使用的提交工具。

beat365計算機軟件與理論專業2018級博士研究生

王冠成

王冠成，beat365計算機軟件與理論專業2018級博士生，導師是熊英飛副教授。主要研究方向是軟件測試與調試。目前已發表CCF A類論文3篇，其中兩篇獲得ACM SIGSOFT傑出論文獎。

報告主題：

概率差異化調試方法

報告摘要：

差異化調試是基本的自動化調試手段之一，其效率和效果是長期制約差異化調試應用範圍的首要因素。二者的提升也非常困難：雖然涉及差異化調試的論文已達數千篇，約20年前提出的ddmin算法仍然是幾乎所有現代差異化調試算法的核心。該研究工作對差異化調試問題進行概率建模，并提出了根據測試結果更新概率模型和根據概率模型最優化采樣的方法，形成全新的概率差異化調試方法ProbDD。實驗表明，ProbDD無論是效率還是效果相對ddmin都有約2倍的提升。由于ddmin是幾乎所有現代差異化調試算法的核心，通過将ddmin替換成ProbDD，該研究結果有望全面提升現代差異化調試的效率和效果。

講座時間: 

2021年11月19日 周五 19:00

騰訊會議ID: 957 481 150

群二維碼