Ordered Systems Lab

Pinned Loading

1. OKLib OKLib Public

   OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems

   Java 28 7

2. xinda xinda Public

   Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems

   Python 20

3. TrainCheck TrainCheck Public

   An Observability Framework for AI Training

   Python 75 3

4. ePass ePass Public

   A compiler framework for eBPF programs

   C 23 1

5. OpGuard OpGuard Public

   A general training alignment framework for LLM training debugging. OSDI ’26 Best Paper Nominee.

   Python 23 1

6. distdebug-bench distdebug-bench Public

   DistDebug-Bench: Can LLM Agents Diagnose Bugs in Distributed Systems? (NeurIPS 2026 Evaluations & Datasets)

   Python 8 1