Explore projects

Configuration and code for collecting and processing logfiles

Publish-subscribe system used by the Emulab software

A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online here: http://formal.cs.utah.edu:8080/pbl/BDD.php

Official source code for Emulab (www.emulab.net) and related projects

Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)

Xsmith is a generator of highly effective fuzz testers.

Emulab-customized runit (http://smarden.org/runit/) with integrated rpm and deb package builds.