Current Interests

• Distributed Computing. I am interested in distributed computing frameworks built on top of commodity servers such as Google's Map Reduce.
• Model Checking. I am interested in applying formal software verification and model checking techniques to open source operating systems.
• Storage. In my day job I am interested in distributed storage systems and the growth and structure of the world wide web graph.

Older Projects

• FreeBSD Handbook, 3rd Edition : The Third Edition FreeBSD Handbook has been split into two volumes. Both volumes were published in 2004 and may be purchased from FreeBSD Mall or Amazon.

• TechTV : There were a total of three FreeBSD-related segments on the "Screen Savers". This program was broadcast on the TechTV cable television channel which reached approximately 40 million U.S. households in 2005. I participated as a guest during two of these shows. A RealVideo stream of the latter segment (where we perform an installation of FreeBSD), is available here.

• Release Engineering : I was the primary release engineer for most of the FreeBSD 4.x releases, and during this time I worked to automate more of the build process, improve the user installation tools, and formalize the release process by creating various teams to handle parts of the overall process.

• Problem Reports : Unfortunately, I have not been as active in this area recently. Some neat graphs of the most active resolvers of FreeBSD problem reports are available here.

• Patches : Various FreeBSD-related patches that I'm working on.

• NI device driver : Several years ago I wrote a device driver for the National Instruments PCI E-series data acquisition cards. These cards feature analog input, analog output, digital I/O lines, and general purpose counter/timers. The interrupt handler works for Analog input and Digital I/O but something is messed up with the GPCT and none of these functions support DMA yet. This code was never generalized enough to the point where I was comfortable submitting it to the base CVS repository, so click the link above for the code.

• Stallion EasyIO device driver : I was working with the EasyIO PCI-series multiport serial adapters from Stallion Technologies. The code in FreeBSD 4.X was never NewBusified so it will not work on -CURRENT and only sort of works on FreeBSD 4.X with the PCI compatibility shims. I've substantially reorganized the driver to work in a modern 5.0 (SMPng and KSE) kernel but it still has some kinks to work out. A snapshot of the code is available here.

Publications

• Nathan Coehlo, Arif Merchant, Murray Stokely, Uncertainty in Aggregate Estimates from Sampled Distributed Traces, Workshop on Managing Systems Automatically and Dynamically, USENIX (2012).
• Murray Stokely, Amaan Mehrabian, Christoph Albrecht, Francois Labelle, Arif Merchant, Projecting Disk Usage Based on Historical Trends in a Cloud Environment, Proceedings of the 3rd International Workshop on Scientific Cloud Computing, ACM (2012).
• Murray Stokely, Farzan Rohani, Eric Tassone, Large-Scale Parallel Statistical Forecasting Computations in R, JSM Proceedings, Section on Physical and Engineering Sciences, 2011.

• 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.

• Efficient Predicate Abstraction Using Parallel Assignments in Formal Verification Systems, M.Sc. Thesis, Oxford University, Summer 2005
  PDF, PostScript

• The FreeBSD Handbook, 3rd Edition (Volume 2)
  ISBN: 1-57176-328-7
  September 2004
  
  The FreeBSD Handbook is the work of hundreds of individuals throughout the world collaborating together through the FreeBSD Documentation Project. I worked as editor of this volume.
  
  
• The FreeBSD Handbook, 3rd Edition (Volume 1)
  ISBN: 1-57176-327-9
  March 2004
  
  The FreeBSD Handbook outgrew itself for the third edition, so as editor I worked to split it up into a two volume set.
  
  

• Using Open Source Tools for Book Publishing, Unpublished - In Progress
  HTML

• The FreeBSD Handbook, 2nd Edition
  ISBN: 1571763031 (653 pages)
  November 2001
  
  The FreeBSD Handbook is the work of hundreds of individuals throughout the world collaborating together through the FreeBSD Documentation Project. I worked as co-editor of this edition for about 6 months. For a complete list of all the changes we made for the publication of this book, please see this announcement. This edition was translated into Mandarin Chinese (Simplified).

• The Release Engineering of FreeBSD 4.4, Conference Proceedings, BSDCon Europe 2001
  PDF, PostScript, TeX

• Using TrueType fonts with XFree86, Daemonnews, November 2000
  http://www.daemonnews.org/200011/truetype.html

• Developer's Handbook : Work In Progress -- Please help us finish this book!

Presentations

• FreeBSD Release Engineering and Development Organization
  O'Reilly European Open Source Conference, October 18, 2005
  [PowerPoint]

• FreeBSD in Enterprise Environments, An Introduction for Linux Users
  Moscow State University, April 29, 2005
  [HTML] [PowerPoint] [PDF]

• FreeBSD in Enterprise Environments, An Introduction for Linux Users
  Linux Expo Shanghai, China, September 10, 2004
  [HTML] [PowerPoint]

• FreeBSD Development
  IUM / Moscow State University, April 27, 2004
  

• FreeBSD 5.0
  NordU / Usenix, February 14, 2003
  [HTML] [StarOffice 5.2] [PowerPoint]

• Release Engineering
  Japan Unix Society, September 18, 2002
  [HTML] [StarOffice 5.2] [PowerPoint]

• FreeBSD Documentation Project BoF
  BSDCon, February 13, 2002
  [HTML] [StarOffice] [PowerPoint]

• FreeBSD Release Engineering
  BSDCon Europe, November 11, 2001
  [HTML] [StarOffice] [PowerPoint]

• FreeBSD in the Enterprise
  Wells Fargo Linux Forum, March 22, 2001
  [HTML] [StarOffice] [PowerPoint]
  
  Some slides borrowed from Nik Clayton

• Writing Secure Unix Applications
  BSDCon, October 18, 2000
  [HTML] [StarOffice]

Links

• My FreeBSD Blog
• Personal Page
• Oxford Computing Laboratory
• Google

Associations

• American Mathematical Society (AMS)
• Association for Computing Machinery (ACM)
• FreeBSD Foundation
• The FreeBSD Mall
• USENIX Advanced Computing Systems Association
• IEEE
• Society of Industrial and Applied Mathematics

Contact Information

Email :
Web : http://www.stokely.org

GPG Key Fingerprint: E2CA 411D DD44 53FD BB4B  3CB5 B4D7 10A2 0E45 1F7D