8/30, Presenter: Zhenyu Li

• Zu-Ming Jiang and Zhendong Su, ETH Zurich, Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation, OSDI 2024

9/6, Presenter: Kahfi Soobhan Zulkifli

• Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, and Zicheng Ma, University of Illinois
  Urbana-Champaign; Tej Chajed, University of Wisconsin-Madison; Jon Howell,
  Andrea Lattuada, and Oded Padon, VMware Research; Lalith Suresh, Feldera;
  Adriana Szekeres, VMware Research; Tianyin Xu, University of Illinois Urbana-Champaign, Anvil: Verifying Liveness of Cluster Management Controllers, OSDI 2024.

9/13, Presenter: Dimas Shidqi Parikesit

• Eli Goldweber, Weixin Yu, Seyed Armin Vakil Ghahani, and Manos Kapritsos, University of Michigan,
  IronSpec: Increasing the Reliability of Formal Specifications, OSDI 2024

9/20, Presenter: Wenbo Qian

• Swapnil Gandhi (Stanford University), Mark Zhao (Stanford University), Athinagoras Skiadopoulos (Stanford University), Christos Kozyrakis (Stanford University), ReCycle: Pipeline Adaptation for the Resilient Distributed Training of Large DNNs, SOSP 2024

9/27, Presenter: Zhenyu Li

• Minchen Yu, Hong Kong University of Science and Technology; Tingjia Cao, University of Wisconsin-Madison; Wei Wang, Hong Kong University of Science and Technology; Ruichuan Chen, Nokia Bell Labs, Following the Data, Not the Function: Rethinking Function Orchestration in Serverless Computing, NSDI 2023

10/4, Presenter: Kahfi Soobhan Zulkifli

• Andrea Lattuada (MPI-SWS), Travis Hance (Carnegie Mellon University), Jay Bosamiya (Microsoft Research), Matthias Brun (ETH Zurich), Chanhee Cho (Carnegie Mellon University), Hayley LeBlanc (University of Texas at Austin), Pranav Srinivasan (University of Michigan), Reto Achermann (University of British Columbia), Tej Chajed (University of Wisconsin-Madison), Chris Hawblitzel (Microsoft Research), Jon Howell (VMware Research), Jacob R. Lorch (Microsoft Research), Oded Padon (Weizmann Institute of Science), Bryan Parno (Carnegie Mellon University), Verus: A Practical Foundation for Systems Verification, SOSP 2024