Simplistic dependency analysis tool for C

Public release of compilation to capabilities

Instrumented version of Cassandra

Fork of https://gitlab.inria.fr/charguer/cfml2

The implementation for checking linearizability using hitting families of schedules

This project contains some scripts and other files that are used by many Iris project for their CI

This project contains some scripts and other files that are used by many Iris project for their CI

This project contains some scripts and other files that are used by many Iris project for their CI

This project contains some scripts and other files that are used by many Iris project for their CI

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)

Models compiled for use with Clockwork on MPI volta machines (tesla v100)

Results for Clockwork OSDI 2020 paper

ns3 simulations for different congestion control algorithms and network scenarios.