講座主題：算法合成—自動應(yīng)用算法模式合成高效程序
特邀專家：熊英飛 新體制長聘副教授
講座時間：6月21日上午10：00
講座地點：二教310
專家介紹：
熊英飛于2009年從日本東京大學(xué)獲得博士學(xué)位，2009-2011年在加拿大滑鐵盧大學(xué)工作，2012年加入北京大學(xué)，現(xiàn)任新體制長聘副教授。熊英飛的研究興趣是程序設(shè)計語言和軟件工程，特別是程序合成、修復(fù)和分析。他提出了理論和方法降低程序編寫和缺陷修復(fù)的代價。比如，基于差別的雙向變換框架是最廣泛使用的雙向變換框架之一，概率和邏輯結(jié)合的程序合成框架玲瓏框架將程序修復(fù)的正確率從此前不到40%提升到80%以上。他的工作也被工業(yè)界采用，比如新一代Linux內(nèi)核配置項目、燕云DaaS系統(tǒng)、華為公司等。他獲得CCF-IEEE CS青年科學(xué)家獎、MODELS十年最有影響力論文獎，5次獲得ACM SIGSOFT/IEEE TCSE杰出論文獎。他是SATE18的程序委員會聯(lián)合主席，也在PLDI、ICSE、FSE等會議擔(dān)任PC。
講座內(nèi)容簡介：
優(yōu)化程序的基本手段是應(yīng)用人們總結(jié)出來的各種算法模式，但直接應(yīng)用算法模式會有較大挑戰(zhàn)。應(yīng)用算法模式雖然可以看做是程序合成問題，但傳統(tǒng)程序合成方法主要關(guān)注功能正確性，較少對合成程序進(jìn)行算法優(yōu)化。北京大學(xué)團(tuán)隊近期針對這個問題開展研究，發(fā)現(xiàn)很多算法模式應(yīng)用的核心是一個特定的程序合成問題，稱為提升問題，并針對提升問題提出了新型程序合成算法AutoLifter。本報告將介紹基于算法模式的程序合成問題，并介紹提升問題和AutoLifter算法。
