大會(huì)背景

2023年12月1-3日，CCF 2023中國軟件大會(huì)（CCF ChinaSoft）在上海順利召開。本次大會(huì)由中國計(jì)算機(jī)學(xué)會(huì)(CCF)主辦，CCF系統(tǒng)軟件專委會(huì)、形式化方法專委會(huì)、軟件工程專委會(huì)、復(fù)旦大學(xué)承辦。CCF 2023中國軟件大會(huì)的主題為“智能化軟件創(chuàng)新推動(dòng)數(shù)字經(jīng)濟(jì)與社會(huì)發(fā)展”。大會(huì)組織特邀報(bào)告、青年學(xué)者論壇、論文?？搲?、頂會(huì)頂刊論壇、優(yōu)秀博士生論壇、學(xué)術(shù)論壇、工業(yè)論壇、教育論壇、學(xué)科競賽等40余個(gè)不同類型的活動(dòng)。

在本次大會(huì)中，必贏3003no1線路檢測中心師生在多個(gè)環(huán)節(jié)均展現(xiàn)了作為軟工人的卓越風(fēng)采，具體包括：學(xué)院教師獲得CCF-華為胡楊林基金、學(xué)院教師受邀作論壇報(bào)告以及參與承辦大會(huì)分論壇。

▲必贏官網(wǎng)參與CCF 2023中國軟件大會(huì)的師生合影

必贏官網(wǎng)多位教師榮獲CCF-華為胡楊林基金

必贏官網(wǎng)陳武輝副教授獲得CCF-華為胡楊林基金（系統(tǒng)軟件專項(xiàng)），項(xiàng)目題目為《公有云環(huán)境“網(wǎng)算存”一體的大模型訓(xùn)練與推理優(yōu)化框架》；王焱林助理教授獲得CCF-華為胡楊林基金（軟件工程專項(xiàng)），項(xiàng)目題目為《基于大模型的關(guān)聯(lián)倉庫上下文代碼生成技術(shù)研究》。

▲CCF-華為胡楊林基金論壇現(xiàn)場海報(bào)

必贏官網(wǎng)多位教師受邀作學(xué)術(shù)報(bào)告

必贏官網(wǎng)南雨宏副教授受邀在系統(tǒng)與網(wǎng)絡(luò)安全論壇作《大規(guī)模物聯(lián)網(wǎng)設(shè)備隱私泄露隱患研究》報(bào)告；張能助理教授受邀在軟件通識教育論壇作《元宇宙及 ChatGPT 技術(shù)在輔助教學(xué)育人中的實(shí)踐探索》報(bào)告；王焱林助理教授受邀在智能化軟件開發(fā)和維護(hù)論壇作《代碼生成遇上大模型：進(jìn)展與挑戰(zhàn)》報(bào)告；陳嘉弛助理教授受邀在區(qū)塊鏈可靠性分析論壇作《智能合約中的軟件工程問題》報(bào)告。

▲必贏官網(wǎng)南雨宏副教授在系統(tǒng)與網(wǎng)絡(luò)安全論壇作報(bào)告

▲必贏官網(wǎng)張能助理教授在軟件通識教育論壇作報(bào)告

▲必贏官網(wǎng)王焱林助理教授在智能化軟件開發(fā)和維護(hù)論壇作報(bào)告

▲陳嘉弛助理教授在區(qū)塊鏈可靠性分析論壇作報(bào)告

必贏官網(wǎng)教師參與承辦區(qū)塊鏈可靠性分析論壇

必贏官網(wǎng)教師在本次大會(huì)中參與承辦了主題為“區(qū)塊鏈可靠性分析”的分論壇，必贏官網(wǎng)副院長鄭子彬教授、陳嘉弛助理教授、澳門科技大學(xué)張濤副教授和中科院軟件所蔡彥研究員共同擔(dān)任論壇主席，由陳嘉弛助理教授擔(dān)任論壇主持人。

分論壇共有6場主題報(bào)告，分別是成都電子科技大學(xué)陳廳教授的《智能合約逆向工程》、趣鏈科技CTO邱煒偉博士的《聯(lián)盟鏈可靠性實(shí)踐》、上海交通大學(xué)阮娜副教授的《Web3.0安全溯源關(guān)鍵技術(shù)研究》、華中科技大學(xué)王浩宇教授的《虛假的認(rèn)證：深入剖析智能合約源碼驗(yàn)證服務(wù)的安全風(fēng)險(xiǎn)》、IDEA研究院AI安全普惠系統(tǒng)研究中心講席科學(xué)家王嘉平博士的《Smart Contract Scalability》和必贏3003no1線路檢測中心陳嘉弛助理教授的《智能合約中的軟件工程問題》。

▲王嘉平博士在區(qū)塊鏈可靠性分析論壇作報(bào)告

在分論壇中，受邀報(bào)告嘉賓之間、嘉賓與參會(huì)聽眾之間展開了熱烈的交流與討論，從區(qū)塊鏈性能、安全以及多個(gè)具體應(yīng)用領(lǐng)域等不同角度進(jìn)行了思想碰撞，探討了技術(shù)研究現(xiàn)狀與未來發(fā)展趨勢，也為論壇之后的進(jìn)一步交流與合作奠定了基礎(chǔ)。

▲為分論壇報(bào)告嘉賓頒發(fā)證書