![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
23rd SOSP 2011: Cascais, Portugal
- Ted Wobber, Peter Druschel:
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, October 23-26, 2011. ACM 2011, ISBN 978-1-4503-0977-6
Key-value
- Hyeontaek Lim, Bin Fan, David G. Andersen, Michael Kaminsky:
SILT: a memory-efficient, high-performance key-value store. 1-13 - Lisa Glendenning, Ivan Beschastnikh, Arvind Krishnamurthy, Thomas E. Anderson:
Scalable consistency in Scatter. 15-28 - Diego Ongaro, Stephen M. Rumble, Ryan Stutsman, John K. Ousterhout, Mendel Rosenblum:
Fast crash recovery in RAMCloud. 29-41
Storage
- Yanpei Chen, Kiran Srinivasan, Garth R. Goodson, Randy H. Katz:
Design implications for enterprise storage systems via multi-dimensional trace analysis. 43-56 - Michael P. Mesnier, Feng Chen, Tian Luo, Jason B. Akers:
Differentiated storage services. 57-70 - Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
A file is not a file: understanding the I/O behavior of Apple desktop applications. 71-83
Security
- Raluca A. Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan:
CryptDB: protecting confidentiality with encrypted query processing. 85-100 - Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich:
Intrusion recovery for database-backed web applications. 101-114 - Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Software fault isolation with API integrity and multi-principal modules. 115-128
Reality
- Atul Adya, Gregory Cooper, Daniel Myers, Michael Piatek:
Thialfi: a client notification service for internet-scale applications. 129-142 - Brad Calder, Ju Wang, Aaron Ogus, Niranjan Nilakantan, Arild Skjolsvold, Sam McKelvie, Yikang Xu, Shashwat Srivastav, Jiesheng Wu, Huseyin Simitci, Jaidev Haridas, Chakravarthy Uddaraju, Hemal Khatri, Andrew Edwards, Vaman Bedekar, Shane Mainali, Rafay Abbasi, Arpit Agarwal, Mian Fahim ul Haq, Muhammad Ikram ul Haq, Deepali Bhardwaj, Sowmya Dayanand, Anitha Adusumilli, Marvin McNett, Sriram Sankaran, Kavitha Manivannan, Leonidas Rigas:
Windows Azure Storage: a highly available cloud storage service with strong consistency. 143-157 - Zuoning Yin, Xiao Ma, Jing Zheng, Yuanyuan Zhou, Lakshmi N. Bairavasundaram, Shankar Pasupathy:
An empirical study on configuration errors in commercial and open source systems. 159-172
Virtualization
- Jeremy Andrus, Christoffer Dall, Alexander Van't Hof, Oren Laadan, Jason Nieh
:
Cells: a virtual mobile smartphone architecture. 173-187 - Patrick Colp, Mihir Nanavati, Jun Zhu, William Aiello, George Coker, Tim Deegan, Peter A. Loscocco, Andrew Warfield:
Breaking up is hard to do: security and functionality in a commodity hypervisor. 189-202 - Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang:
CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. 203-216 - James W. Mickens, Mohan Dhawan:
Atlantis: robust, extensible execution environments for web applications. 217-231
OS Architecture
- Christopher J. Rossbach
, Jon Currey
, Mark Silberstein, Baishakhi Ray, Emmett Witchel:
PTask: operating system abstractions to manage GPUs as compute devices. 233-248 - Emin Gün Sirer, Willem de Bruijn
, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider:
Logical attestation: an authorization architecture for trustworthy computing. 249-264
Detection and tracing
- Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang:
Practical software model checking via dynamic interface reduction. 265-278 - Joshua B. Leners, Hao Wu, Wei-Lun Hung, Marcos Kawazoe Aguilera, Michael Walfish:
Detecting failures in distributed systems with the Falcon spy network. 279-294 - Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo
, Micah Sherr:
Secure network provenance. 295-310 - Úlfar Erlingsson, Marcus Peinado, Simon Peter, Mihai Budiu:
Fay: extensible distributed tracing from kernels to clusters. 311-326
Threads and races
- Tongping Liu, Charlie Curtsinger, Emery D. Berger
:
Dthreads: efficient deterministic multithreading. 327-336 - Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang:
Efficient deterministic multithreading through schedule relaxation. 337-351 - Oren Laadan, Nicolas Viennot, Chia-Che Tsai
, Chris Blinn, Junfeng Yang, Jason Nieh:
Pervasive detection of process races in deployed systems. 353-367 - Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn, Satish Narayanasamy
:
Detecting and surviving data races using complementary schedules. 369-384
Geo-replication
- Yair Sovran, Russell Power, Marcos K. Aguilera, Jinyang Li:
Transactional storage for geo-replicated systems. 385-400 - Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen:
Don't settle for eventual: scalable causal consistency for wide-area storage with COPS. 401-416
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.