Murray Stokely

Google Research

Other Google Resources

I joined Google in 2005. While at Google I've worked in the following areas:

Reliability and monitoring of the production web crawling system.
Long term data archival.
Building a market economy for provisioning machine resources
Summer of Code (In 2005, 2006, 2007, and 2008).

To help continue bringing in new talent, I have also been fairly involved in the engineering hiring process.

I received an M.Sc. in Mathematics and the Foundations of Computer Science from Oxford University, working with Joel Ouaknine in the area of Software Model Checking. Prior to joining Google I was deeply involved in the FreeBSD operating system, and was the primary release engineer for the FreeBSD 4.x releases.

Publications

Using a Market Economy to Provision Compute Resources Across Planet-wide Clusters, Murray Stokely, Jim Winget, Ed Keyes, Carrie Grimes, Benjamin Yolken, Proceedings for the International Parallel and Distributed Processing Symposium 2009 (to appear).
Parallel Assignments in Software Model Checking, Murray Stokely, Sagar Chaki, Joel Ouaknine, Electr. Notes Theor. Comput. Sci., vol. 157 (2006), pp. 77-94.