Xsmith is a generator of highly effective fuzz testers.
A library for parametric randomness in Racket applications.
The main development repository for the Utah A3 VMI work.
An Erlang wrapper around rmr
A framework for safe system programming in Rust
Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.
A capability management library which can be used across different systems.
A set of kernel and hardware benchmarks, e.g., cost of transferring a cache line across the cores
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)
Evaluating Networked Systems class, developed at the University of Utah by Robert Ricci
Repository for benchmark sources and scripts to be run on CloudLab machines.
A Linux kernel extended with Lighweight Capability Domains
Publish-subscribe system used by the Emulab software
Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016