Papers

• Configuration Debugging as Search: Finding the Needle in the Haystack
  by Andrew Whitaker, Richard S. Cox, and Steven D. Gribble.
  Proceedings of the Sixth Symposium on Operating System Design and Implementation (OSDI '04)
  San Francisco, California, December, 2004.
  .pdf (159 KB).

• Using Time Travel to Diagnose Computer Problems
  by Andrew Whitaker, Richard S. Cox, and Steven D. Gribble.
  Proceedings of the 11th SIGOPS European Workshop
  Leuven, Belgium, September, 2004.
  .pdf (198 KB).

• Constructing Services with Interposable Virtual Hardware,
  by Andrew Whitaker, Richard S. Cox, Marianne Shaw, and Steven D. Gribble.
  Proceedings of the First Symposium on Networked Systems Design and Implementation (NSDI '04), San Francisco, California, March 2004.
  .ps.gz (276 KB), .ps.zip (276 KB), .pdf (260 KB).

• Scale and Performance in the Denali Isolation Kernel,
  by Andrew Whitaker, Marianne Shaw, and Steven D. Gribble.
  Proceedings of the Fifth Symposium on Operating System Design and Implementation (OSDI 2002), Boston, MA, December 2002.
  (.pdf, 223KB), (.ps.gz, 204KB), (.ps.zip, 205KB).

• Denali: A Scalable Isolation Kernel,
  by Andrew Whitaker, Marianne Shaw, and Steven D. Gribble.
  Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.
  (.pdf, 71KB), (.ps.gz, 47KB), (.ps.zip, 47KB).

• Denali: Lightweight Virtual Machines for Distributed and Networked Applications,
  by Andrew Whitaker, Marianne Shaw, and Steven D. Gribble.
  University of Washington Technical Report 02-02-01
  (.pdf, 213KB), (.ps.gz, 261KB), (.ps.zip, 262KB).

Talks

• Scale and Performance in the Denali Isolation Kernel,
  by Andrew Whitaker, Marianne Shaw, and Steven D. Gribble.
  May 29th 2002, Stanford University. (.pdf, 254KB)

• Denali: Lightweight virtual machines for distributed and networked systems,
  by Steven D. Gribble, Andrew Whitaker, and Marianne Shaw.
  August 7th 2001, HP Labs, Sprint Labs. (.pdf, 134KB)

• UW Networking and Systems Retreat, July 2001
  • Lightweight Virtual Machines, by Steven D. Gribble and Andrew Whitaker. (.pdf, 97KB)
  • Apropos of Machine Virtualization, by Andrew Whitaker and Steven D. Gribble. (.pdf, 102KB)

Posters and Miscellany

• Denali: Lightweight virtual machines for distributed and networked systems,
  by Andrew Whitaker, Marianne Shaw, and Steven D. Gribble.
  SOSP 2001 poster session submission, October 2001. (.pdf, 35KB)