21. SOSP 2007:
Stevenson,
Washington,
USA
Thomas C. Bressoud, M. Frans Kaashoek (Eds.):
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 BibTeX
Web meets operating systems
- Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson:
Protection and communication abstractions for web browsers in MashupOS.
1-16
Electronic Edition (ACM DL) BibTeX
- Emre Kiciman, V. Benjamin Livshits:
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications.
17-30
Electronic Edition (ACM DL) BibTeX
- Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng:
Secure web application via automatic partitioning.
31-44
Electronic Edition (ACM DL) BibTeX
Byzantine fault tolerance
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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Software robustness
- Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado:
Bouncer: securing software by blocking bad input.
117-130
Electronic Edition (ACM DL) BibTeX
- Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou:
Triage: diagnosing production run failures at the user's site.
131-144
Electronic Edition (ACM DL) BibTeX
- Lin Tan, Ding Yuan, Gopal Krishna, Yuanyuan Zhou:
/*icomment: bugs or bad comments?*/.
145-158
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Andreas Haeberlen, Petr Kouznetsov, Peter Druschel:
PeerReview: practical accountability for distributed systems.
175-188
Electronic Edition (ACM DL) BibTeX
- Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz:
Attested append-only memory: making adversaries stick to their word.
189-204
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
System maintenance
Energy
Storage
- Oren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh:
DejaView: a personal virtual computer recorder.
279-292
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Christopher Frost, Mike Mammarella, Eddie Kohler, Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, Lei Zhang:
Generalized file system dependencies.
307-320
Electronic Edition (ACM DL) BibTeX
Operating system security
- Maxwell N. Krohn, Alexander Yip, Micah Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris:
Information flow control for standard OS abstractions.
321-334
Electronic Edition (ACM DL) BibTeX
- Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig:
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes.
335-350
Electronic Edition (ACM DL) BibTeX
- John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve:
Secure virtual architecture: a safe execution environment for commodity operating systems.
351-366
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:42:03 2009
by Michael Ley (ley@uni-trier.de)
