今天小编分享的互联网经验：海云安首席科学家齐大伟博士荣获“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 平台等多款产品在軟體供应链安全领網域均处于行业内领先水平。
