Software

Group GitHub Repository

Most of our lab's code repositories are hosted on GitHub.

TrainCheck [OSDI '25]

TrainCheck is an innovative tool for detecting silent errors in deep learning training. We are excited to open-source TrainCheck–explore the project and get involved on GitHub!

Arthas [EuroSys '21]

The source code is available through this repository.

Violet [OSDI '20]

Violet consists of multiple components. This central repository includes the source code repository of each component.

LeaseOS [ASPLOS '19]

The source code is available through this manifest repository.

Panorama [OSDI '18]

The source code is available through this repository.