研究生管理科

軟件學院第五屆“研究生人文教育與學術交流月”講座3—程序合成

發布時間:2020-06-15 11:52:55 發布者:研究生管理辦公室 作者: 查看:1493

講座主題:程序合成

講座時間:2020/6/22 9:30-11:30

特邀專家:熊英飛,日本東京大學獲得博士學位,2012年于北京大學工作,任“百人計劃”研究員,2019年選為“優青”。從事缺陷自動修復的研究,所提出的基于差別的雙向變換框架是演化缺陷的主流理論框架之一,所提出的程序缺陷修復技術將修復準確

率一次提高約40個百分點。

講座內容:程序合成主要用于自動構建滿足特定需求的目標程序,如終端用戶編程、優化和Bug修復。本講座將介紹程序合成技術的基本概念、方法和典型應用,及未來學習的指導。講座內容涵蓋合成程序以滿足正式規范的經典方法,以及依賴統計模型來推斷

可能的程序以實現不確定目標的最新方法。


參與方式:騰訊會議 ,ID: 268 287 038, 會議鏈接:https://meeting.tencent.com/s/KwnkVVdlwqPp

欢喜彩票-欢迎您