Setup for observing Radar transmissions on rooftop nodes
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)
Xsmith is a generator of highly effective fuzz testers.
Publish-subscribe system used by the Emulab software
Fuzzing campaign harness
C-Reduce, a C program reducer http://embed.cs.utah.edu/creduce/
Code used to run www.flux.utah.edu, forked from code by the LASR group at UT Austin
A Linux kernel extended with Lighweight Capability Domains
Evaluating Networked Systems class, developed at the University of Utah by Robert Ricci
A basic implementation of the knowledge graph as laid out in the naga paper.