2024年9月，ACM（國際計(jì)算機(jī)學(xué)會(huì)）SIGSAC CN正式公布2024年度中國“優(yōu)博獎(jiǎng)”評(píng)選結(jié)果。華為云數(shù)字化平臺(tái)技術(shù)創(chuàng)新Lab（原PaaS技術(shù)創(chuàng)新Lab）軟件分析研究員/復(fù)旦大學(xué)博士畢業(yè)生談心從全國頂尖博士人才中脫穎而出，以全國總排名第二的優(yōu)異成績摘得該獎(jiǎng)項(xiàng)。

9月初，中國計(jì)算機(jī)學(xué)會(huì)（CCF）軟件工程專業(yè)委員會(huì)正式公布 2025 年度博士學(xué)位論文激勵(lì)計(jì)劃評(píng)選結(jié)果。華為云數(shù)字化平臺(tái)技術(shù)創(chuàng)新Lab（原PaaS技術(shù)創(chuàng)新Lab）聯(lián)合培養(yǎng)實(shí)習(xí)生/北京大學(xué)博士畢業(yè)生陳天宇成功入選該計(jì)劃提名論文。

在軟件研發(fā)效率與質(zhì)量要求持續(xù)攀升的今天，自動(dòng)化測試用例生成技術(shù)已成為行業(yè)關(guān)注的焦點(diǎn)。由華為云PaaS技術(shù)創(chuàng)新Lab與天津大學(xué)陳俊潔教授團(tuán)隊(duì)聯(lián)合開展的CCF-華為胡楊林基金項(xiàng)目——“大模型與類型系統(tǒng)混合驅(qū)動(dòng)的測試用例生成技術(shù)研究”，成功攻克了長期困擾業(yè)界的測試用例生成難題，實(shí)現(xiàn)了從技術(shù)理論到產(chǎn)業(yè)落地的全面突破。該項(xiàng)目成果顯著的應(yīng)用價(jià)值，不僅獲得華為云計(jì)算公司和CCF產(chǎn)學(xué)基金專家的認(rèn)可，更憑借突出成果，在所有候選的220個(gè)項(xiàng)目中，以僅5%的入選率，成功入選2025 年度 CCF 產(chǎn)學(xué)合作基金優(yōu)秀案例。此次入選彰顯了該校企合作項(xiàng)目的技術(shù)領(lǐng)先性和產(chǎn)業(yè)轉(zhuǎn)化效果突出性。

作為CCF開源發(fā)展技術(shù)委員會(huì)開源供應(yīng)鏈安全工作組牽頭單位，華為云PaaS技術(shù)創(chuàng)新Lab 聯(lián)合多家單位成功組織并舉辦 2025 CCF中國開源大會(huì) “自主可控開源供應(yīng)鏈安全”技術(shù)論壇！

華為云PaaS技術(shù)創(chuàng)新Lab聯(lián)合北京大學(xué)、中國科學(xué)院軟件研究所，圍繞數(shù)據(jù)庫自動(dòng)化更新場景，共同提出了“Bipartite-Grammar Aware（BGA）”領(lǐng)域預(yù)訓(xùn)練方法，并發(fā)布大規(guī)模TwinXSQL數(shù)據(jù)集，在XML-SQL代碼自動(dòng)更新任務(wù)上取得進(jìn)展，成果已被軟件工程國際頂級(jí)期刊TOSEM 2025接收。

華為云PaaS技術(shù)創(chuàng)新Lab聯(lián)合北京大學(xué)研究團(tuán)隊(duì)，共同推出Taper系統(tǒng)，通過版本感知過濾和混淆補(bǔ)丁增強(qiáng)模型，高效精準(zhǔn)地解決開源軟件補(bǔ)丁定位的效率與準(zhǔn)確性難題，成果發(fā)表在FSE 2025。

華為云智能編程助手CodeArts Snap作為云廠商中首個(gè)自研的AI代碼輔助編程工具，致力于打造現(xiàn)代化開發(fā)新范式。通過將自然語言轉(zhuǎn)化為規(guī)范可閱讀、無開源漏洞的安全編程語言，提升開發(fā)者編碼效率，助力企業(yè)快速響應(yīng)市場需求。華為云CodeArts Snap目前處于限時(shí)邀測階段，可即刻點(diǎn)擊鏈接或掃碼體驗(yàn)！

華為云CodeCheck代碼檢查插件由PaaS安全域團(tuán)隊(duì)出品，致力于守護(hù)開發(fā)人員代碼質(zhì)量，提供業(yè)界規(guī)范（含華為云）的檢查、代碼風(fēng)格一件格式化及代碼自動(dòng)修復(fù)功能。

華為云軟件開發(fā)生產(chǎn)線上新智能編程助手CodeArts Snap，它能將自然語言轉(zhuǎn)化為編程語言，支持函數(shù)級(jí)代碼生成，單元測試用例生成，代碼檢查與修復(fù)等功能，大大提升開發(fā)者編碼效率和質(zhì)量。

華為云PaaS技術(shù)創(chuàng)新實(shí)驗(yàn)室聯(lián)合華為諾亞方舟實(shí)驗(yàn)室語音語義實(shí)驗(yàn)室一起基于PanGu-Alpha研制出了當(dāng)前業(yè)界最新的模型PanGu-Coder，不但熟悉常見算法，還能熟練地使用各種API，甚至可以求解高等數(shù)學(xué)問題。作為國產(chǎn)函數(shù)級(jí)代碼生成模型，PanGu-Coder在中文上表現(xiàn)也十分出色！

CNCC是由CCF主辦的計(jì)算領(lǐng)域年度盛會(huì)，創(chuàng)建于2003年，是CCF旗艦會(huì)議，每年于不同城市舉辦，至今已成功舉辦十八屆。華為云PaaS技術(shù)創(chuàng)新Lab在《數(shù)據(jù)驅(qū)動(dòng)的開源漏洞挖掘與修復(fù)》、《云原生穩(wěn)定性與混沌工程論壇》以及《基于大模型的智能化軟件工程》等論壇參與報(bào)告。

Lab研究成果 MOREST（Lab成員吳潤超、包忞立等同事參與完成）被軟件工程領(lǐng)域頂級(jí)會(huì)議ICSE 2021正式接收。本研究從構(gòu)建的API操作依賴圖中，挖掘符合語義的測試序列，并進(jìn)行動(dòng)態(tài)調(diào)整。公司內(nèi)的實(shí)際工程落地結(jié)果 驗(yàn)證了MOREST的有效性和生成效率，達(dá)到了行業(yè)內(nèi)領(lǐng)先水平。

中國計(jì)算機(jī)學(xué)會(huì)（CCF）開源發(fā)展委員會(huì)成立大會(huì)于2021年12月17日在深圳以線下線上并行方式召開，經(jīng)過參會(huì)執(zhí)行委員無記名投票，差額選舉產(chǎn)生開源發(fā)展委員會(huì)首屆負(fù)責(zé)人和常務(wù)委員，中國科學(xué)院王懷民院士當(dāng)選首屆主任，王千祥老師擔(dān)任CCF開源發(fā)展委員會(huì)首批常務(wù)委員，梁廣泰擔(dān)任首批執(zhí)行委員。CCF開源發(fā)展委員會(huì)于當(dāng)晚正式成立，推動(dòng)探索學(xué)術(shù)共同體主導(dǎo)的開源發(fā)展新途徑。

Lab研究成果“SmartCommit: A Graph-based Interactive Assistant for Activity-Oriented Commits”（申博、魏昭、梁廣泰、王千祥等同事參與完成）被軟件工程領(lǐng)域頂級(jí)會(huì)議ESEC/FSE 2021正式接收并被授予ACM杰出論文獎(jiǎng)(本次會(huì)議僅有 8 篇被授予該獎(jiǎng)勵(lì)，是對(duì)本項(xiàng)研究創(chuàng)新性的高度肯定）。