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