Explore projects

Model checker for distributed systems using hitting families of schedules

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

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

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

DeathStarBench modified with X-Trace tracing

Controller synthesis for stochastic dynamical system by means of finite abstraction

Prototype DNN Serving System that can support thousands of models, dozens of worker machines, and low-latency SLOs. (OSDI '20)

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

Practical verification of numerical kernels

Practical verification of numerical kernels

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition