Explore projects
-
-
-
xsmith / xsmith
BSD 2-Clause "Simplified" LicenseXsmith is a generator of highly effective fuzz testers.
Updated -
xsmith / clotho
BSD 2-Clause "Simplified" LicenseA library for parametric randomness in Racket applications.
Updated -
-
Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.
Updated -
-
A set of kernel and hardware benchmarks, e.g., cost of transferring a cache line across the cores
Updated -
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)
Updated -
Robert Ricci / Evaluating Networked Systems
Creative Commons Attribution 4.0 InternationalEvaluating Networked Systems class, developed at the University of Utah by Robert Ricci
Updated -
Repository for benchmark sources and scripts to be run on CloudLab machines.
Updated -
xcap / xcap-capability-linux
GNU General Public License v2.0 or laterA Linux kernel extended with Lighweight Capability Domains
Updated -
-
Updated
-
Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016
Updated -
xcap / capability-xen
GNU General Public License v2.0 or laterGit version of hg repo http://hg-public.flux.utah.edu/hgweb.cgi/a3/xen-cap/
Updated -
This project has source code for HERD and all scripts required to calculate performance benchmark.
Updated -
This project has source code of HERD with necessary scripts to calculate performance benchmark for Clemson cluster.
Updated -
This project has source code for HERD and all scripts required to calculate performance benchmark.
Updated