Explore projects

ASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale

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

Results for Clockwork OSDI 2020 paper

Axiomatic pWCET, formalized in Coq

Standalone prebuilt X-Trace server and dockerized X-Trace server