| 2007 | A Web Based Covert File System. Arati Baliga, Joe Kilian, Liviu Iftode |
| 2007 | Auditing to Keep Online Storage Services Honest. Mehul A. Shah, Mary Baker, Jeffrey C. Mogul, Ram Swaminathan |
| 2007 | Automatic Mutual Exclusion. Michael Isard, Andrew Birrell |
| 2007 | Beyond Bug-Finding: Sound Program Analysis for Linux. Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou |
| 2007 | Can Ferris Bueller Still Have His Day Off? Protecting Privacy in the Wireless Era. Ben Greenstein, Ramakrishna Gummadi, Jeffrey Pang, Mike Y. Chen, Tadayoshi Kohno, Srinivasan Seshan, David Wetherall |
| 2007 | Compatibility Is Not Transparency: VMM Detection Myths and Realities. Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin |
| 2007 | Don't Settle for Less Than the Best: Use Optimization to Make Decisions. Kimberly Keeton, Terence Kelly, Arif Merchant, Cipriano A. Santos, Janet L. Wiener, Xiaoyun Zhu, Dirk Beyer |
| 2007 | End-to-End Web Application Security. Úlfar Erlingsson, V. Benjamin Livshits, Yinglian Xie |
| 2007 | HotComments: How to Make Program Comments More Useful? Lin Tan, Ding Yuan, Yuanyuan Zhou |
| 2007 | Hype and Virtue. Timothy Roscoe, Kevin Elphinstone, Gernot Heiser |
| 2007 | Hyperspaces for Object Clustering and Approximate Matching in Peer-to-Peer Overlays. Bernard Wong, Ymir Vigfusson, Emin Gün Sirer |
| 2007 | Is the Optimism in Optimistic Concurrency Warranted? Donald E. Porter, Owen S. Hofmann, Emmett Witchel |
| 2007 | Live Monitoring: Using Adaptive Instrumentation and Analysis to Debug and Maintain Web Applications. Emre Kiciman, Helen J. Wang |
| 2007 | MashupOS: Operating System Abstractions for Client Mashups. Jon Howell, Collin Jackson, Helen J. Wang, Xiaofeng Fan |
| 2007 | Microdrivers: A New Architecture for Device Drivers. Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha |
| 2007 | Optimizing Power Consumption in Large Scale Storage Systems. Lakshmi Ganesh, Hakim Weatherspoon, Mahesh Balakrishnan, Ken Birman |
| 2007 | Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, May 7-9, 2005, San Diego, California, USA Galen C. Hunt |
| 2007 | Processor Hardware Counter Statistics as a First-Class System Resource. Xiao Zhang, Sandhya Dwarkadas, Girts Folkmanis, Kai Shen |
| 2007 | Purely Functional System Configuration Management. Eelco Dolstra, Armijn Hemel |
| 2007 | Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. Jesse Pool, Ian Sin Kwok Wong, David Lie |
| 2007 | Thread Scheduling for Multi-Core Platforms. Mohan Rajagopalan, Brian T. Lewis, Todd A. Anderson |
| 2007 | Towards a Practical, Verified Kernel. Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser |