日日干日日摸-日日干天天操-日日干天天草-日日干天天插-精品一区二区三区在线观看-精品一区二区三区在线观看l

437bwin必贏國際官網(集團)有限公司-SouG百科

學院新聞

必贏官網成功舉辦軟件與服務新技術前沿學術論壇

發布時間:2023-02-15     瀏覽量:

 

2023年2月9日,由中國計算機學會(簡稱CCF)服務計算專委會主辦、437bwin必贏國際官網承辦的“軟件與服務新技術前沿學術論壇”通過線上形式成功舉辦。論壇聚焦區塊鏈、泛在計算、衛星計算、深度學習等新范式、新技術的快速發展趨勢下,服務計算與軟件工程中面臨的熱點問題、創新成果和未來方向。

 

 

本次論壇邀請了中山大學軟件工程學院鄭子彬教授、北京大學軟件研究所劉譞哲研究員、北京郵電大學437bwin必贏國際官網(國家示范性軟件學院)王尚廣教授、437bwin必贏國際官網謝曉園教授,四位服務計算與軟件工程領域知名學者做主題報告。論壇開始,CCF服務計算專委會副主任、武漢計算機軟件工程學會理事長、437bwin必贏國際官網李兵教授介紹了本次論壇的背景,并對各位報告嘉賓和在線聽眾表示了熱烈歡迎。本次論壇由CCF服務計算專委會執行委員、437bwin必贏國際官網副院長玄躋峰教授和軟件工程系王健副教授共同主持。論壇氣氛熱烈,來自全國各地高校和企業的一千多位專家和師生參加了論壇。

 

鄭子彬教授是中山大學軟件工程學院副院長、IEEE/IET Fellow、國家優秀青年科學基金獲得者、國家數字家庭工程技術研究主心副主任。鄭子彬教授作了題為“區塊鏈可靠性關鍵技術與挑戰”的主題報告。報告首先分析了區塊鏈的新特性為其可靠性保障帶來的新挑戰,進而介紹了團隊在區塊鏈智能合約可靠性方面開展的研究工作,包括跨合約漏洞檢測、基于并行符號執行的漏洞檢測、智能合約模糊測試、重入漏洞數據集與工具評估等。

 

劉譞哲研究員是北京大學軟件研究所副所長、ACM杰出科學家、國家級青年人才計劃獲得者。劉譞哲研究員作了題為“面向泛在計算的分布式智能系統軟件”的主題報告。報告首先分析了智能化趨勢對系統軟件的設計和實現提出的新挑戰和新機遇,然后介紹了團隊在分布式智能系統軟件的研究進展,特別是面向大規模模型訓練的無服務器方法和異構資源流水線調度、面向原位模型訓練的異構資源協同調度、內存優化等方面的工作。

 

王尚廣教授是北京郵電大學437bwin必贏國際官網(國家示范性軟件學院)副院長、網絡與交換技術國家重點實驗室副主任、IET Fellow、國家優秀青年科學基金獲得者、CCF服務計算專委會秘書長。王尚廣教授作了題為“衛星服務計算研究與探索”的主題報告。報告首先分析了衛星技術發展現狀和衛星服務計算需求背景,然后介紹了團隊在衛星服務計算方面取得的一系列理論研究成果,最后分享了團隊在星地AI推理、星載核心網系統、北郵一號云原生衛星等衛星服務計算相關的在軌實踐成果。

 

謝曉園教授是437bwin必贏國際官網特色化示范性軟件學院副院長、外國優秀青年學者研究基金獲得者。謝曉園教授作了題為“基于蛻變屬性的深度學習測試驗證與測試優化”的主題報告。報告首先分析了在基于深度學習的智能軟件測試過程中面臨的挑戰,進而報告了團隊在基于蛻變屬性的深度學習測試領域所取得的一系列成果,最后提出了新型測試多樣性度量準則,從全新視角對測試效率進行了優化提升。