讲座主题：算法合成—自动应用算法模式合成高效程序
特邀专家：熊英飞 新体制长聘副教授
讲座时间：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算法。
