Abstract is missing.
- Protection and communication abstractions for web browsers in MashupOSHelen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson. 1-16 [doi]
- AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applicationsEmre Kiciman, V. Benjamin Livshits. 17-30 [doi]
- Secure web application via automatic partitioningStephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng. 31-44 [doi]
- Zyzzyva: speculative byzantine fault toleranceRamakrishna Kotla, Lorenzo Alvisi, Michael Dahlin, Allen Clement, Edmund L. Wong. 45-58 [doi]
- Tolerating byzantine faults in transaction processing systems using commit barrier schedulingBen Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden. 59-72 [doi]
- Low-overhead byzantine fault-tolerant storageJames Hendricks, Gregory R. Ganger, Michael K. Reiter. 73-86 [doi]
- TxLinux: using and managing hardware transactional memory in an operating systemChristopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Bhandari Aditya, Emmett Witchel. 87-102 [doi]
- MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugsShan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou. 103-116 [doi]
- Bouncer: securing software by blocking bad inputManuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado. 117-130 [doi]
- Triage: diagnosing production run failures at the user s siteJoseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou. 131-144 [doi]
- /*icomment: bugs or bad comments?*/Lin Tan, Ding Yuan, Gopal Krishna, Yuanyuan Zhou. 145-158 [doi]
- Sinfonia: a new paradigm for building scalable distributed systemsMarcos Kawazoe Aguilera, Arif Merchant, Mehul A. Shah, Alistair C. Veitch, Christos T. Karamanolis. 159-174 [doi]
- PeerReview: practical accountability for distributed systemsAndreas Haeberlen, Petr Kouznetsov, Peter Druschel. 175-188 [doi]
- Attested append-only memory: making adversaries stick to their wordByung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz. 189-204 [doi]
- Dynamo: amazon s highly available key-value storeGiuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, Werner Vogels. 205-220 [doi]
- Staged deployment in mirage, an integrated software upgrade testing and distribution systemOlivier Crameri, Nikola Knezevic, Dejan Kostic, Ricardo Bianchini, Willy Zwaenepoel. 221-236 [doi]
- AutoBash: improving configuration management with operating system causality analysisYa-Yunn Su, Mona Attariyan, Jason Flinn. 237-250 [doi]
- Integrating concurrency control and energy management in device driversKevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Levis. 251-264 [doi]
- VirtualPower: coordinated power management in virtualized enterprise systemsRipal Nathuji, Karsten Schwan. 265-278 [doi]
- DejaView: a personal virtual computer recorderOren Laadan, Ricardo A. Baratto, Dan B. Phung, Shaya Potter, Jason Nieh. 279-292 [doi]
- Improving file system reliability with I/O shepherdingHaryadi S. Gunawi, Vijayan Prabhakaran, Swetha Krishnan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 293-306 [doi]
- Generalized file system dependenciesChristopher Frost, Mike Mammarella, Eddie Kohler, Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, Lei Zhang. 307-320 [doi]
- Information flow control for standard OS abstractionsMaxwell N. Krohn, Alexander Yip, Micah Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris. 321-334 [doi]
- SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSesArvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig. 335-350 [doi]
- Secure virtual architecture: a safe execution environment for commodity operating systemsJohn Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve. 351-366 [doi]