Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
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
-
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.
-
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.
-
-
-
-
-
-
-
-
Data in csv format
-
DeathStarBench modified with X-Trace tracing
-
Raw Jaeger traces and X-Trace converted traces of DeathStarBench executions