8/29, Presenter: Kahfi Soobhan Zulkifli
- Yunchi Lu, Cheng Tan, Youshan Miao, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang, Verifying Distributed Deep Learning Training via Parallelization Equivalence, SOSP 2025.
9/5, Presenter: Dimas Shidqi Parikesit
- Shaobu Wang, Guangyan Zhang, Junyu Wei, Yang Wang, Jiesheng Wu, Qingchao Luo, Understanding Silent Data Corruptions in a Large Production CPU Population, SOSP 2023.
9/19, Presenter: Kahfi Soobhan Zulkifli
- Yuxuan Jiang, Ziming Zhou, Boyu Xu, Beijie Liu, Runhui Xu, Peng Huang, Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks, OSDI 2025.
9/26, Presenter: Dimas Shidqi Parikesit
- Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu, AutoVerus: Automated Proof Generation for Rust Code, OOPSLA 2025.
10/3, Presenter: Zhenyu Li
- Ding Ding, Zhanghan Wang, Jinyang Li, Aurojit Panda, Runtime Protocol Refinement Checking for Distributed Protocol Implementations, NSDI 2025.
10/10, Presenter: Kahfi Soobhan Zulkifli
- Mengdi Wu, Xinhao Cheng, Shengyu Liu, Chunan Shi, Jianan Ji, Man Kit Ao, Praveen Velliengiri, Xupeng Miao, Oded Padon, Zhihao Jia, Mirage: A Multi-Level Superoptimizer for Tensor Programs, OSDI 2025.
11/7, Presenter: Zhenyu Li
- Qualification exam proposal practice talk.
11/21, Presenter: Kahfi Soobhan Zulkifli
- Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno, Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs, OSDI 2024.
11/28, Presenter: Dimas Shidqi Parikesit
- Zihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu, AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations, SOSP 2025.