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

10/11, Presenter: Dimas Shidqi Parikesit

• Yifan Qiao, UCLA; Zhenyuan Ruan, MIT CSAIL; Haoran Ma, UCLA; Adam Belay, MIT CSAIL; Miryung Kim and Harry Xu, UCLA, Harvesting Idle Memory for Application-managed Soft State with Midas, NSDI 2024

10/18, Presenter: Wenbo Qian

• Bogdan Alexandru Stoica, Utsav Sethi, Yiming Su, Cyrus Zhou (University of Chicago); Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath (Microsoft Research), If At First You Don’t Succeed, Try, Try, Again…?, SOSP 2024

11/8, Group Discussion

• Post-SOSP Reflection Meeting

11/15, Presenter: Zhenyu Li

• Yiming Qiu (University of Michigan), Patrick Tser Jern Kon (University of Michigan), Ryan Beckett (Microsoft), Ang Chen (University of Michigan), Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024

11/22, Presenter: Kahfi Soobhan Zulkifli

• Anish Athalye (Massachusetts Institute of Technology), Henry Corrigan-Gibbs (MIT), Frans Kaashoek (MIT), Joseph Tassarotti (New York University), Nickolai Zeldovich (Massachusetts Institute of Technology), Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation, SOSP 2024

12/6, Presenter: Dimas Shidqi Parikesit

• Hanze Zhang, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Shanghai AI Laboratory; MoE Key Lab of Artificial Intelligence, AI Institute, Shanghai Jiao Tong University; Ke Cheng, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China; Rong Chen, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Shanghai AI Laboratory; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China; Haibo Chen, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China; Key Laboratory of System Software (Chinese Academy of Sciences), Fast and Scalable In-network Lock Management Using Lock Fission, OSDI 2024