Explore projects

Model checker for distributed systems using hitting families of schedules

Hadoop, YARN, and HDFS, instrumented with tracing framework. Up to date with version 2.7.2. Most up to date branch is brownsys-tracingplane-2.7.2

ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)

DeathStarBench modified with X-Trace tracing

A fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.

A verifier for approximations of transcendental functions.

Practical verification of numerical kernels

Practical verification of numerical kernels

Simplistic dependency analysis tool for C