Explore projects

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

The main development repository for the Utah A3 VMI work.

A Linux kernel extended with Lighweight Capability Domains

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

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

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

A basic implementation of the knowledge graph as laid out in the naga paper.

CloudVMI allows virtual-machine introspection (VMI) to be offered as a cloud service by a cloud provider to cloud customers.

Fork of grub2 with TPM support. Described in the paper "Trusted Disk Loading in the Emulab Network Testbed" by Cutler et al.: http://www.flux.utah.edu/paper/cutler-cset10

The main development repository for the Utah A3 VMI work.

libvirt-1.2.2 for consistent distributed snapshot

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

Code for kernel and hardware benchmark experiments

Lab Assignment #1

This is the repository for my final project of CS 6963, which is to reproduce the results of mTCP.

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