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