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 |
Set : China and
Japan |
||||
|
Set : Russia |
Set : United
Kingdom |
||||
|
Set : Europe and
Africa |
Set : Family |
||||
|
|
|||||
| 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

