Explore projects

The implementation for checking linearizability using hitting families of schedules

Analysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.

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

Results for Clockwork OSDI 2020 paper

Public repository of the paper 'Constraint Synthesis for Parametric CAD'.

DeathStarBench modified with X-Trace tracing

Automation for Iris

Automation for Iris

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

This is the repository for the EU EIC project called SymAware.

A fork from in order to explore using (a subset of) LTL as a core language of Flipper

HBase instrumented with tracing framework.

HiBench is a Hadoop benchmark suite