SOSP 2019顶会报道!38篇论文合集快来收藏~聚焦软件工程、操作系统领域!

2019年SOSP会议聚焦软件工程和操作系统,收录38篇论文,包括两篇最佳论文:1. TSVD,一种高效的线程安全违规检测器,用于在测试期间查找并发错误;2. Serval,用于系统代码自动验证的可扩展框架。这两项技术在实际应用中发现并修复了多个错误。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

ACM操作系统原理研讨会(ACM Symposium on Operating Systems Principles, SOSP)是软件工程、操作系统领域的顶级会议,是会议之眼A类、CCF A类会议。SOSP会议是面向计算机系统技术的研究人员、开发人员、程序员和教师的全球首要论坛,每两年召开一次。学术界和工业界的参与者提供了涵盖计算机系统软件的理论和实践研究论文。

在这里插入图片描述

第27届SOSP会议于2019年10月27日至10月30日在加拿大安大略省亨茨维尔召开。本届会议旨在提出与计算机系统软件的设计、实现、分析、评估和部署相关的创新研究。本次大会一共收录了38篇论文,主题包括机器学习、操作系统、文件和存储系统、云系统、安全系统、数据安全、隐私安全、网络和图计算等。会议之眼小助手已整理好SOSP 2019的论文合集并免费提供给大家!(文末有福利)

让我们来看看SOSP 2019 会议有哪些看点!本次大会有2篇论文被评选为Best paper:

Best paper

Efficient scalable thread-safety-violationdetection: finding thousands of concurrency bugs during testing

Guangpu Li, Shan Lu, Madanlal Musuvathi,Suman Nath, Rohan Padhye

论文简介:

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值