Murray Stokely's Personal Web Site

Welcome

You've reached the home page of Murray Stokely. I am currently a software engineer at Google, Inc. working on distributed computing and web search. Prior to Google I completed an M.Sc. in the area of Software Model Checking at Oxford University.

Pictures

	Set : Americas 1,296 pictures in 27 albums.		Set : China and Japan 1,805 pictures in 39 albums.
	Set : Russia 866 pictures in 12 albums.		Set : United Kingdom 1,431 pictures in 50 albums.
	Set : Europe and Africa 1,355 pictures in 23 albums.		Set : Family 216 pictures in 8 albums.
All Albums :	Sorted by Year	Sorted by Set

Selected Publications

• Murray Stokely, Jim Winget, Ed Keyes, Carrie Grimes, Benjamin Yolken, Using a Market Economy to Provision Compute Resources Across Planet-wide Clusters, Proceedings for the International Parallel and Distributed Processing Symposium 2009.
• Murray Stokely, Sagar Chaki, Joel Ouaknine, Parallel Assignments in Software Model Checking, Proceedings of the 3rd International Workshop on Software Verification and Validation(SVV), Electronic Notes in Theoretical Computer Science 157(1) 77-94(2006).
• The Release Engineering of FreeBSD 4.4, BSDCon Europe Conference Proceedings, 2001
• The FreeBSD Handbook, 3rd Edition (Volume 2), Editor and contributing author, September 2004 ISBN: 1-57176-328-7
• The FreeBSD Handbook, 3rd Edition (Volume 1), Co-editor and contributing author, March 2004 ISBN: 1-57176-327-9
• The FreeBSD Handbook, 2nd Edition, Co-editor and contributing author, November 2001 ISBN: 1-57176-303-1
• The FreeBSD Handbook, 1st Edition, Contributing Author, February 1999 ISBN: 1-57176-241-8