The reading group organized by the OrderLab covers latest advances in the research of computer systems. Students will read and discuss recent papers in top systems conferences such as OSDI, SOSP, NSDI, EuroSys, and ASPLOS.
Each week, one student will present the paper and lead the discussion. Other students should read the paper to be presented before the seminar. This seminar is supposed to generate in-depth discussions. It is impossible to do so without reading the paper first.
The focus topics covered in the papers vary semester to semester. Example topics include fault-tolerance, reliability, verification, energy efficiency, and virtualization. The presenter decides which paper to present. In general, select the papers that are relevant to your research project first (i.e., depth-first). If you are not sure, check with Ryan first before preparing the presentation. Also, try to avoid picking papers that have already been picked in the past (the past schedules are linked on the left-side menu).
If you need to present, please first sign up here at least two weeks in advance. Then, around one week before the meeting, you should send another reminder to the group via our reading group mailing list orderlab-talk@umich.edu, which will also be used to generate follow-up discussions of the presented paper. Students who wish to sign up for the mailing list, please email ryanph@umich.edu.
| Date | Presenter | Title | Conference | Material |
|---|---|---|---|---|
| 08/26/2025 | Ryan and everyone |
New Semester Kickoff! |
||
| 09/04/2025 | Ziming Zhou |
Project Progress Sharing |
||
| 09/11/2025 | Yunchi Lu |
TrainVerify Prelim Practice Talk |
||
| 09/18/2025 | Yuzhuo Jing |
Phoenix SOSP '25 Practice Talk |
||
| 09/25/2025 | Yunchi Lu |
TrainVerify SOSP '25 Practice Talk |
||
| 10/02/2025 | Yuxuan Jiang |
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers |
SOSP '25 | Paper |
| 10/09/2025 | Yi Chen |
Efficient Performance-Aware GPU Sharing with Compatibility and Isolation through Kernel Space Interception |
SOSP '25 | Paper |
| 10/23/2025 | Wanning He |
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement |
SOSP '25 | Paper |
| 10/30/2025 | Yuxuan Jiang |
Knowledge Sharing: PyTorch Conference 2025 Part 1 |
||
| 11/06/2025 | Ziming Zhou |
Knowledge Sharing: PyTorch Conference 2025 Part 2 |