分享
这是一个创建于 的主题,其中的信息可能已经有所发展或是发生改变。
针对Go编写的程序,我们设计和实现了一个并发缺陷的检测工具和一个并发缺陷的修复工具。我们在大型开源软件(如Docker,Kubernetes)中发现了上百个之前为止的并发缺陷,我们的修复工具可以给他们中的大多数自动生成布丁。相关论文发表在了ASPLOS‘2021. ASPLOS是系统领域最高水平的会议。
B站视频:https://www.bilibili.com/video/BV1Gb4y1D7QH/
论文链接: https://songlh.github.io/paper/gcatch.pdf
Github: https://github.com/system-pclub/GCatch
有疑问加站长微信联系(非本文作者)
入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889
关注微信2612 次点击
添加一条新回复
(您需要 后才能回复 没有账号 ?)
- 请尽量让自己的回复能够对别人有帮助
- 支持 Markdown 格式, **粗体**、~~删除线~~、
`单行代码` - 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
- 图片支持拖拽、截图粘贴等方式上传