研究生管理科

软件学院第五届“研究生人文教育与学术交流月”讲座3—程序合成

发布时间:2020-06-15 11:52:55 发布者:研究生管理办公室 作者: 查看:670

讲座主题:程序合成

讲座时间:2020/6/22 9:30-11:30

特邀专家:熊英飞,日本东京大学获得博士学位,2012年于北京大学工作,任“百人计划”研究员,2019年选为“优青”。从事缺陷自动修复的研究,所提出的基于差别的双向变换框架是演化缺陷的主流理论框架之一,所提出的程序缺陷修复技术将修复准确

率一次提高约40个百分点。

讲座内容:程序合成主要用于自动构建满足特定需求的目标程序,如终端用户编程、优化和Bug修复。本讲座将介绍程序合成技术的基本概念、方法和典型应用,及未来学习的指导。讲座内容涵盖合成程序以满足正式规范的经典方法,以及依赖统计模型来推断

可能的程序以实现不确定目标的最新方法。


参与方式:腾讯会议 ,ID: 268 287 038, 会议链接:https://meeting.tencent.com/s/KwnkVVdlwqPp