Explore projects

Xsmith is a generator of highly effective fuzz testers.

Xsmith is a generator of highly effective fuzz testers.

A Linux kernel extended with Lighweight Capability Domains

Module and static lib build for the thc async code.

The main development repository for the Utah A3 VMI work.

The main development repository for the Utah A3 VMI work.

Racket package for defining a variable with version info containing a git hash!

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

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

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

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

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