Murray Stokely

Google Research

• Home
• Publications
• Tech Talks
• University Research Programs
• About Google Research
• Work at Google

Other Google Resources

• Google Code
• Google Labs
• Google Scholar

I joined Google in 2005 and spent my first two years working in the Site Reliability Engineering group for the production crawling and indexing system for web search. I have recently switched to a quantitative team working in a related area.

While at Google I've worked on the following projects:

• Reliability and monitoring of the production web crawling system.
• Two generations of long term public data archival projects.
• Some internal tools for managing important data backups.
• Summer of Code (In 2005, 2006, and 2007).

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

• Parallel Assignments in Software Model Checking, Murray Stokely, Sagar Chaki, Joel Ouaknine, Electr. Notes Theor. Comput. Sci., vol. 157 (2006), pp. 77-94.