2023年6月21日上午，我院舉辦的第八屆“研究生學(xué)術(shù)交流月”活動(dòng)中，邀請(qǐng)了北京大學(xué)新體制長(zhǎng)聘副教授熊英飛為研究生們帶來學(xué)術(shù)前沿專題講座《算法合成——自動(dòng)應(yīng)用算法模式合成高效程序》。本次講座熊英飛教授從算法設(shè)計(jì)、算法優(yōu)化、算法效果三個(gè)方面展開探討，由淺入深地介紹了如何自動(dòng)應(yīng)用算法模式合成高效程序。
講座伊始，熊英飛教授通過引入“你認(rèn)為計(jì)算機(jī)專業(yè)最難學(xué)的課程是什么？”等問題，強(qiáng)調(diào)了算法課程的重要性和困難性。接著闡述了自動(dòng)應(yīng)用算法模式所帶來的好處，包括降低算法設(shè)計(jì)難度、節(jié)約人力成本以及提升程序效率等。
隨即，熊英飛教授介紹了算法設(shè)計(jì)模式的自動(dòng)應(yīng)用方法，提出分治/并行化算法、增量算法和線段樹等都可以規(guī)約為提升問題（Lifting Problem），然后利用提升問題求解算法（AutoLifter）。
其次，熊英飛教授以“查找列表中的第二小元素”問題為例，詳細(xì)闡述了將分治算法、增量算法及線段樹規(guī)約為提升問題的過程，并介紹了如何求解提升問題。然后，他介紹了程序合成的瓶頸：可伸縮性。要應(yīng)對(duì)可伸縮性問題，可以采用兩套分解方法，分別是變量消除和組件消除。
最后，熊英飛教授講述了算法合成的重要性和愿景。他指出，算法合成是重要的，各種軟件，包括安全攸關(guān)軟件，都需要大量算法。同時(shí)，算法設(shè)計(jì)是困難的，研究只是整理出算法設(shè)計(jì)模式，然而能否應(yīng)用全憑程序員能力。
軟件學(xué)院將繼續(xù)舉辦系列講座，促進(jìn)學(xué)術(shù)交流，為研究生提供更多學(xué)習(xí)和成長(zhǎng)的機(jī)會(huì)，歡迎全校師生積極參與。
