![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
21st SOSP 2007: Stevenson, Washington, USA
- Thomas C. Bressoud, M. Frans Kaashoek:
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007. ACM 2007, ISBN 978-1-59593-591-5
Web meets operating systems
- Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson:
Protection and communication abstractions for web browsers in MashupOS. 1-16 - Emre Kiciman, V. Benjamin Livshits:
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications. 17-30 - Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng:
Secure web application via automatic partitioning. 31-44
Byzantine fault tolerance
- Ramakrishna Kotla, Lorenzo Alvisi, Michael Dahlin, Allen Clement, Edmund L. Wong:
Zyzzyva: speculative byzantine fault tolerance. 45-58 - Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden:
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling. 59-72 - James Hendricks
, Gregory R. Ganger, Michael K. Reiter:
Low-overhead byzantine fault-tolerant storage. 73-86
Concurrency
- Christopher J. Rossbach
, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Bhandari Aditya, Emmett Witchel:
TxLinux: using and managing hardware transactional memory in an operating system. 87-102 - Shan Lu
, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou:
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. 103-116
Software robustness
- Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado:
Bouncer: securing software by blocking bad input. 117-130 - Joseph A. Tucek, Shan Lu
, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou:
Triage: diagnosing production run failures at the user's site. 131-144 - Lin Tan, Ding Yuan, Gopal Krishna, Yuanyuan Zhou:
/*icomment: bugs or bad comments?*/. 145-158
Distributed systems
- Marcos Kawazoe Aguilera, Arif Merchant
, Mehul A. Shah, Alistair C. Veitch, Christos T. Karamanolis:
Sinfonia: a new paradigm for building scalable distributed systems. 159-174 - Andreas Haeberlen, Petr Kouznetsov, Peter Druschel:
PeerReview: practical accountability for distributed systems. 175-188 - Byung-Gon Chun, Petros Maniatis, Scott Shenker
, John Kubiatowicz:
Attested append-only memory: making adversaries stick to their word. 189-204 - Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, Werner Vogels:
Dynamo: amazon's highly available key-value store. 205-220
System maintenance
- Olivier Crameri, Nikola Knezevic, Dejan Kostic
, Ricardo Bianchini, Willy Zwaenepoel:
Staged deployment in mirage, an integrated software upgrade testing and distribution system. 221-236 - Ya-Yunn Su, Mona Attariyan, Jason Flinn:
AutoBash: improving configuration management with operating system causality analysis. 237-250
Energy
- Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Alexander Levis:
Integrating concurrency control and energy management in device drivers. 251-264 - Ripal Nathuji, Karsten Schwan:
VirtualPower: coordinated power management in virtualized enterprise systems. 265-278
Storage
- Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh:
DejaView: a personal virtual computer recorder. 279-292 - Haryadi S. Gunawi, Vijayan Prabhakaran, Swetha Krishnan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
Improving file system reliability with I/O shepherding. 293-306 - Christopher Frost, Mike Mammarella, Eddie Kohler, Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, Lei Zhang:
Generalized file system dependencies. 307-320
Operating system security
- Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Tappan Morris:
Information flow control for standard OS abstractions. 321-334 - Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig:
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes. 335-350 - John Criswell
, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve:
Secure virtual architecture: a safe execution environment for commodity operating systems. 351-366
![](https://dblp1.uni-trier.de/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.