Title：基于算法模式合成高效程序

Speaker:熊英飛（北京大學 副教授）

Time: 10月7日（周五）上午10:00-12:00

Venue:線下：5號樓三層 334報告廳； 線上：騰訊會議 831-535-742

Abstract:傳統程序合成主要關注功能正確性，較少對合成程序進行算法優化。優化算法的基本手段是應用人們總結出來的各種算法模式，但直接應用算法模式會有較大挑戰。北京大學團隊近期針對這個問題開展研究，發現很多算法模式應用的核心是一個特定的程序合成問題，稱為提升問題，并針對提升問題提出了新型程序合成算法AutoLifter。本報告將介紹基于算法模式的程序合成問題，并介紹提升問題和AutoLifter算法。

Bio:熊英飛于2009年從日本東京大學獲得博士學位，2009-2011年在加拿大滑鐵盧大學工作，2012年加入北京大學，現任新體制長聘副教授。熊英飛的研究興趣是程序設計語言和軟件工程，特別是程序合成、修復和分析。他提出了理論和方法降低程序編寫和缺陷修復的代價。比如，基于差別的雙向變換框架是最廣泛使用的雙向變換框架之一，概率和邏輯結合的程序合成框架玲瓏框架將程序修復的正確率從此前不到40%提升到80%以上。他的工作也被工業界采用，比如新一代Linux內核配置項目、燕云DaaS系統、華為公司等。他獲得CCF-IEEE CS青年科學家獎、MODELS十年最有影響力論文獎，5次獲得ACM SIGSOFT/IEEE TCSE杰出論文獎。他是SATE18的程序委員會聯合主席，也在ICSE、FSE、ASE、ISSTA等會議擔任PC。