# OrderLab [[University of Michigan]] 内の研究室。PI は [[Peng Huang]]。DL システムの信頼性、分散システムのサイレント障害検知、プログラム不変条件推論を研究する。 - [[TrainCheck]](OSDI 2025): DL 訓練サイレントエラー検知 - Oathkeeper(OSDI 2022): 分散システムのサイレントな意味的違反検知 ## 関連 - ソース: [[@2025__OSDI__Training with Confidence - Catching Silent Errors in Deep Learning Training with Automated Proactive Checks]] - エンティティ: [[Peng Huang]] / [[Yuxuan Jiang]] / [[University of Michigan]]