Explore projects

An Erlang wrapper around rmr

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.

Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016

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

Fuzzing campaign harness