讲座主题：程序合成
讲座时间：2020/6/22 9:30-11:30
特邀专家：熊英飞，日本东京大学获得博士学位，2012年于北京大学工作，任“百人计划”研究员，2019年选为“优青”。从事缺陷自动修复的研究，所提出的基于差别的双向变换框架是演化缺陷的主流理论框架之一，所提出的程序缺陷修复技术将修复准确
率一次提高约40个百分点。
讲座内容：程序合成主要用于自动构建满足特定需求的目标程序，如终端用户编程、优化和Bug修复。本讲座将介绍程序合成技术的基本概念、方法和典型应用，及未来学习的指导。讲座内容涵盖合成程序以满足正式规范的经典方法，以及依赖统计模型来推断
可能的程序以实现不确定目标的最新方法。
参与方式：腾讯会议 ，ID: 268 287 038， 会议链接：https://meeting.tencent.com/s/KwnkVVdlwqPp
