Explore projects

An Erlang wrapper around rmr

The main development repository for the Utah A3 VMI work.

Xsmith is a generator of highly effective fuzz testers.

A library for parametric randomness in Racket applications.

Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.

Publish-subscribe system used by the Emulab software

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

A set of kernel and hardware benchmarks, e.g., cost of transferring a cache line across the cores

A capability management library which can be used across different systems.

A Linux kernel extended with Lighweight Capability Domains

Evaluating Networked Systems class, developed at the University of Utah by Robert Ricci

A framework for safe system programming in Rust

Repository for benchmark sources and scripts to be run on CloudLab machines.

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

Code used to run www.flux.utah.edu, forked from code by the LASR group at UT Austin

Modified version of grub2 that we use for "grub2pxe", aka "the Linux MFS version of pxeboot". 'grub2-source' branch is the unmodified 'vendor' branch.

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

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