Explore projects

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

DeathStarBench modified with X-Trace tracing

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!

Practical verification of numerical kernels

Code for computing sufficient, implementable and permissive assumptions.

Controller synthesis for stochastic dynamical system by means of finite abstraction

Model checker for distributed systems using hitting families of schedules

TEE-based Metadata Service

A modified version of StochasticSynthesis that we used for our TAC '21 and TACAS '22 submissions. The original repo is here: https://github.com/gtfactslab/StochasticSynthesis

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