11. HotOS 2007: San Diego, California, USA

Galen C. Hunt (Ed.): 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.

Last update Sat May 18 18:36:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page