SOSP 2011-ACM Symposium on Operating Systems Principles 2011年论文集

【文件属性】：
文件名称：SOSP 2011-ACM Symposium on Operating Systems Principles 2011年论文集
文件大小：29.85MB
文件格式：RAR
更新时间：2015-02-22 16:59:41
ACM 操作系统 SOSP 2011 论文集 （我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。请大家见谅。） 操作系统研究领域的*会议SOSP 2011年论文集。关于SOSP，请参考以下简介： 操作系统（OS）领域有两个国际顶尖会议：SOSP和OSDI，但由于SOSP只在奇数年召开、OSDI只在偶数年召开，所以实际上可以将SOSP+OSDI合并看成操作系统领域的顶尖年会。 SOSP由ACM SIGOPS组织开办，USENIX组织也常参与进来。与SIGCOMM类似，SOSP也是一个只求精品的会议：数量方面每年只录用20篇左右的正式会议论文，录取率约20%（由此可见录取率不能表征一个会议的好坏，20%的会议可以是顶尖，10%的会议可以是垃圾）；质量方面的要求极高——重大问题、有趣且有竞争力的解法、实用有益、接合业内前驱工作等等。 SOSP采用Blind审稿和Single-Track演讲，20来篇论文，每年的参会人数却在400左右，可见能在SOSP上发表论文真的是所有操作系统相关研究者的无上荣誉。 SOSP 2011年共接收论文28篇，分为9个Session，值得一提的是，复旦大学软件学院在本次会议上有一篇论文CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization被接收，祝贺相关老师和同学！

【文件预览】：
SOSP 2011
----Security()
--------Software fault isolation with API integrity and multi-principal modules.pdf(828KB)
--------Intrusion recovery for database-backed web applications.pdf(791KB)
--------CryptDB _ protecting confidentiality with encrypted query processing.pdf(841KB)
----Storage()
--------Differentiated storage services.pdf(835KB)
--------Design implications for enterprise storage systems via multi-dimensional trace analysis.pdf(734KB)
--------A file is not a file _ understanding the I O behavior of Apple desktop applications.pdf(839KB)
----Threads and races()
--------Detecting and surviving data races using complementary schedules.pdf(786KB)
--------Efficient deterministic multithreading through schedule relaxation.pdf(1.2MB)
--------Dthreads _ efficient deterministic multithreading.pdf(1.19MB)
--------Pervasive detection of process races in deployed systems.pdf(1.68MB)
----Geo-replication()
--------Don't settle for eventual _ scalable causal consistency for wide-area storage with COPS.pdf(1.56MB)
--------Transactional storage for geo-replicated systems.pdf(816KB)
----Virtualization()
--------Atlantis _ robust, extensible execution environments for web applications.pdf(1.18MB)
--------Cells _ a virtual mobile smartphone architecture.pdf(1.28MB)
--------CloudVisor _ retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization.pdf(1.2MB)
--------Breaking up is hard to do _ security and functionality in a commodity hypervisor.pdf(1.58MB)
----Key-value()
--------SILT _ a memory-efficient, high-performance key-value store.pdf(1.96MB)
--------Scalable consistency in Scatter.pdf(1.77MB)
--------Fast crash recovery in RAMCloud.pdf(791KB)
----Reality()
--------Thialfi _ a client notification service for internet-scale applications.pdf(1.58MB)
--------Windows Azure Storage _ a highly available cloud storage service with strong consistency.pdf(790KB)
--------An empirical study on configuration errors in commercial and open source systems.pdf(808KB)
----Detection and tracing()
--------Practical software model checking via dynamic interface reduction.pdf(854KB)
--------Fay _ extensible distributed tracing from kernels to clusters.pdf(833KB)
--------Secure network provenance.pdf(1.94MB)
--------Detecting failures in distributed systems with the Falcon spy network.pdf(763KB)
----OS Architecture()
--------PTask _ operating system abstractions to manage GPUs as compute devices.pdf(2.12MB)
--------Logical attestation _ an authorization architecture for trustworthy computing.pdf(1.6MB)