Explore projects

The Coq development for Iris

The Coq development for Iris

The Coq development for Iris

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

Spark instrumented with tracing framework. Up to date with version 1.6.1; last modified end of 2017. Most up to date branch is brownsys-tracingplane-v1.6.1

The Coq development for Iris. [project website] [coqdoc]

HiBench is a Hadoop benchmark suite

YCSB is a cloud database benchmark that we use for HBase

The Coq development for Iris. [project website] [coqdoc]

Instrumented fork of Apache Kafka from GitHub

The Coq development for Iris. [project website] [coqdoc]