Constructing Services with Interposable Virtual Hardware. - Andrew Whitaker; Richard S. Cox; Marianne Shaw; Steven D. Gribble (NSDI, 2004)

Configuration Debugging as Search: Finding the Needle in the Haystack. - Andrew Whitaker; Richard S. Cox; Steven D. Gribble (OSDI, 2004)

Using time travel to diagnose computer problems. - Andrew Whitaker; Richard S. Cox; Steven D. Gribble (ACM SIGOPS European Workshop, 2004)

Rethinking the Design of Virtual Machine Monitors. - Andrew Whitaker; Richard S. Cox; Marianne Shaw; Steven D. Gribble (Computer, 2005)

A Safety-Oriented Platform for Web Applications. - Richard S. Cox; Steven D. Gribble; Henry M. Levy; Jacob Gorm Hansen (S&P, 2006)