講座主題：程序合成
講座時間：2020/6/22 9:30-11:30
特邀專家：熊英飛，日本東京大學獲得博士學位，2012年于北京大學工作，任“百人計劃”研究員，2019年選為“優(yōu)青”。從事缺陷自動修復的研究，所提出的基于差別的雙向變換框架是演化缺陷的主流理論框架之一，所提出的程序缺陷修復技術將修復準確
率一次提高約40個百分點。
講座內(nèi)容：程序合成主要用于自動構(gòu)建滿足特定需求的目標程序，如終端用戶編程、優(yōu)化和Bug修復。本講座將介紹程序合成技術的基本概念、方法和典型應用，及未來學習的指導。講座內(nèi)容涵蓋合成程序以滿足正式規(guī)范的經(jīng)典方法，以及依賴統(tǒng)計模型來推斷
可能的程序以實現(xiàn)不確定目標的最新方法。
參與方式：騰訊會議 ，ID: 268 287 038， 會議鏈接：https://meeting.tencent.com/s/KwnkVVdlwqPp
