1/3, Presenter: Wenbo Qian
- Woosuk Kwon, Zhuohan Li, Siyuan Zhuang, Ying Sheng, Lianmin Zheng, Cody Hao Yu, Joseph E. Gonzalez, Hao Zhang, Ion Stoica Efficient Memory Management for Large Language Model Serving with PagedAttention, SOSP 2023
1/17, Presenter: Zhenyu Li
- Xuhao Luo, Shreesha Bhat*, Jiyu Hu*, Ramnatthan Alagappan, Aishwarya Ganesan LazyLog: A New Shared Log Abstraction for Low-Latency Applications, SOSP 2024
1/31, Presenter: Kahfi Soobhan Zulkifli
- Tej Chajed, MIT CSAIL; Joseph Tassarotti, Boston College; Mark Theng, M. Frans Kaashoek, and Nickolai Zeldovich, MIT CSAIL Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning, OSDI 2022
2/7, Presenter: Dimas Parikesit
- Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu Multi-Grained Specifications for Distributed System Model Checking and Verification, EuroSys 2025
2/21, Presenter: Wenbo Qian
- Jae-Won Chung, Yile Gu, Insu Jang, Luoxi Meng, Nikhil Bansal, and Mosharaf Chowdhury. University of Michigan, University of Washington, University of California, San Diego Reducing Energy Bloat in Large Model Training, SOSP 2024
2/28, Presenter: Kahfi Soobhan Zulkifli
- Yun-Sheng Chang, MIT CSAIL; Ralf Jung, ETH Zurich; Upamanyu Sharma, MIT CSAIL; Joseph Tassarotti, New York University; M. Frans Kaashoek and Nickolai Zeldovich, MIT CSAIL, Verifying vMVCC, a high-performance transaction library using multi-version concurrency control, OSDI 2023
3/21, Presenter: Dimas Parikesit
- Ao Li, Carnegie Mellon University; Shan Lu, Microsoft Research and University of Chicago; Suman Nath, Microsoft Research; Rohan Padhye and Vyas Sekar, Carnegie Mellon University, ExChain: Exception Dependency Analysis for Root Cause Diagnosis, NSDI 2024
3/27, Presenter: Wenbo Qian
- Chi Li, Shu Wang, Henry Hoffmann, Shan Lu, Statically Inferring Performance Properties of Software Configurations, EuroSys 2020
5/2, Presenter: Zhenyu Li
- Jing Liu, Microsoft Research; Yifan Dai, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, University of Wisconsin–Madison, Fast, Transparent Filesystem Microkernel Recovery with Ananke, FAST 2025
7/25, Presenter: Zhenyu Li
- Konstantinos Kallas, University of Pennsylvania; Tammam Mustafa, MIT CSAIL; Jan Bielak, XIV Staszic High School; Dimitris Karnikis, Aarno Labs; Thurston H.Y. Dang, MIT CSAIL; Michael Greenberg, Stevens Institute of Technology; Nikos Vasilakis, MIT CSAIL, Practically Correct, Just-in-Time Shell Script Parallelization, OSDI 2022
8/1, Presenter: Dimas Parikesit
- Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang, KNighter: Transforming Static Analysis with LLM-Synthesized Checkers, SOSP 2025
8/8, Presenter: Chang Lou
- Development Seminar, how to manage up your advisor