Murray Stokely

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.