Explore projects

Practical verification of numerical kernels

Model checker for distributed systems using hitting families of schedules

SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks

DeathStarBench modified with X-Trace tracing

Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version

Mirror of https://github.com/dmlc/tvm for internal development

Check other branches for active development.

Don't forgot to git submodule init and git submodule update!

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