講座主題：算法合成—自動應用算法模式合成高效法式
特邀專家：熊英飞 新体制长聘副教授
講座時間：6月21日上午10：00
講座地點：二教310
專家介紹：
熊英飞于2009年从日本东京大学获得博士学位，2009-2011年在加拿大滑铁卢大学事情，2012年加入北京大学，现任新体制长聘副教授。熊英飞的研究兴趣是法式设计语言和软件工程，特别是法式合成、修复和分析。他提出了理论和要领降低法式编写和缺陷修复的价钱。好比，基于差异的双向变换框架是最广泛使用的双向变换框架之一，概率和逻辑结合的法式合成框架玲珑框架将法式修复的正确率今后前不到40%提升到80%以上。他的事情也被工业界接纳，好比新一代Linux内核配置项目、燕云DaaS系统、华为公司等。他获得CCF-IEEE CS青年科学家奖、MODELS十年最有影响力论文奖，5次获得ACM SIGSOFT/IEEE TCSE杰出论文奖。他是SATE18的法式委员会联合主席，也在PLDI、ICSE、FSE等聚会会议担任PC。
講座內容簡介：
優化法式的基本手段是應用人們總結出來的各種算法模式，但直接應用算法模式會有較大挑戰。應用算法模式雖然可以看做是法式合成問題，但傳統法式合成要领主要關注功效正確性，較少對合成法式進行算法優化。北京大學團隊近期針對這個問題開展研究，發現许多算法模式應用的焦点是一個特定的法式合成問題，稱爲提升問題，並針對提升問題提出了新型法式合成算法AutoLifter。本報告將介紹基于算法模式的法式合成問題，並介紹提升問題和AutoLifter算法。
