AMiner平台（https://www.aminer.cn）由清华大学计算机系研发，拥有我国完全自主知识产权。平台包含了超过2.3亿学术论文/专利和1.36亿学者的科技图谱，提供学者评价、专家发现、智能指派、学术地图等科技情报专业化服务。系统2006年上线，吸引了全球220个国家/地区1000多万独立IP访问，数据下载量230万次，年度访问量超过1100万，成为学术搜索和社会网络挖掘研究的重要数据和实验平台。
必读论文：https://www.aminer.cn/topic
论文集地址：https://www.aminer.cn/topic/5f6af32392c7f9be2140b0a0
两年一次的ACM关于操作系统原理的研讨会SOSP是为研究人员、开发者、程序员、供应商和操作系统技术教师的世界首要论坛。学术和工业参与者提出的研究和经验论文，涵盖了理论和实践的全部范围。本论文集收录了历年的最佳论文。
该论文集共收录33篇论文，引用最多的论文为seL4: formal verification of an OS kernel，引用数为1828。
AMiner，一个具有认知智能的学术搜索引擎：https://www.aminer.cn
#AMiner# #论文#