今天小編分享的互聯網經驗:海雲安首席科學家齊大偉博士榮獲“2023國際軟體工程會議(ICSE)最具影響力論文獎”,歡迎閱讀。
2023 年 5 月 24 日,深圳海雲安網絡安全技術有限公司首席科學家齊大偉博士獲得 " 國際軟體工程會議 ( ICSE ) 2023 最具影響力論文獎 "。本屆會議于 2023 年 5 月 14 日至 20 日在澳大利亞墨爾本舉行。
自 1989 年以來,國際軟體工程會議 ( ICSE ) 最具影響力論文獎一直在頒發給自十年前 ICSE 發表以來對行業產生重大影響的論文。除了齊大偉博士,獲獎論文的其他作者是來自 新加坡國立大學的 Hoang Duong Thien Nguyen 和 Abhik Roychoudhury,以及 IBM 研究院的 Satish Chandra 。
他們的論文 "SemFix: Program Repair via Semantic Analysis" 提出了使用語義及符号程式分析技術自動修復代碼的方法,這些方法可以應用于手動編寫和自動生成的代碼。
此篇文章除了實際的應用價值之外,還創新性的開辟了将符号推理用于程式修復的新方向。
近年來,以 ChatGPT 為代表的生成式 AI 飛速發展。自動程式修復與今天的 Codex 和 ChatGPT 等自動代碼生成工具相關。由于從自然語言描述中自動生成的代碼缺乏對程式語義的理解,因此使用語義分析技術來自動更正或糾正代碼仍然是有價值的。自動程式修復 還用于減少軟體系統暴露于安全漏洞的風險。
齊大偉博士目前在海雲安致力于将最前沿的程式分析軟體工程方面的研究應用到軟體供應鏈安全領網域,從而幫助用戶解決軟體構造和使用過程中的安全問題。 目前,海雲安高敏捷信創白盒、開源組件檢測分析工具、DevSecOps 平台等多款產品在軟體供應鏈安全領網域均處于行業内領先水平。