针对Go编写的程序,我们设计和实现了一个并发缺陷的检测工具和一个并发缺陷的修复工具。我们在大型开源软件(如Docker,Kubernetes)中发现了上百个之前为止的并发缺陷,我们的修复工具可以给他们中的大多数自动生成布丁。相关论文发表在了ASPLOS‘2021. ASPLOS是系统领域最高水平的会议。
B站视频:https://www.bilibili.com/video/BV1Gb4y1D7QH/
有疑问加站长微信联系(非本文作者)

针对Go编写的程序,我们设计和实现了一个并发缺陷的检测工具和一个并发缺陷的修复工具。我们在大型开源软件(如Docker,Kubernetes)中发现了上百个之前为止的并发缺陷,我们的修复工具可以给他们中的大多数自动生成布丁。相关论文发表在了ASPLOS‘2021. ASPLOS是系统领域最高水平的会议。
B站视频:https://www.bilibili.com/video/BV1Gb4y1D7QH/
有疑问加站长微信联系(非本文作者)
入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889
`单行代码`