Explore projects

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.

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.