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 and worked on the FreeBSD Operating System.
Selected Publications
- Daniel Ford, Francois Labelle, Florentina Popovici, Murray Stokely, Van-Anh Truong, Luiz Barroso, Carrie Grimes, Sean Quinlan, Availability in Globally Distributed Storage Systems, Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010.
- 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
