海云安首席科学家齐大伟博士荣获“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平台等多款产品在软件供应链安全领域均处于行业内领先水平。