OrderLab Reading Group

Summer 2026

Wednesdays 10:30am – 12:00pm, 4941 BBB Coordinator: Yi Chen

Description

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 Yunchi 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).

The presentation announcements are sent via the 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	Venue	Material
05/12/2026	Yuxuan Jiang	AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents Haoyu Wang, Christopher M. Poskitt and Jun Sun, Singapore Management University	ICSE '26	Paper
05/19/2026	Wanning He	AutoVerus: Automated Proof Generation for Rust Code Chenyuan Yang, University of Illinois at Urbana-Champaign; Xuheng Li, Columbia University; MD Rakib Hossain Misu, University of California Irvine; Jianan Yao, University of Toronto; Weidong Cui, Microsoft Research; Yeyun Gong, Microsoft Research Asia; Chris Hawblitzel, Shuvendu Lahiri and Jacob R. Lorch, Microsoft Research; Shuai Lu and Fan Yang, Microsoft Research Asia; Ziqiao Zhou, Microsoft Research; Shan Lu, Microsoft Research and University of Chicago	OOPSLA '25	Paper
05/26/2026	Yi Chen	FastServe: Iteration-Level Preemptive Scheduling for Large Language Model Inference Bingyang Wu, Yinmin Zhong, Zili Zhang, Shengyu Liu, Fangyue Liu, Yuanhang Sun, Gang Huang, Xuanzhe Liu, and Xin Jin, School of Computer Science, Peking University	NSDI '26	Paper
06/03/2026	Yuxuan Jiang	Distributed Speculative Execution for Resilient Cloud Applications Tianyu Li, MIT CSAIL; Badrish Chandramouli and Philip A. Bernstein, Microsoft Research; Samuel Madden MIT CSAIL	OSDI '26	Paper
06/17/2026	Ziming Zhou	OpGuard OSDI '25 Practice Talk Ziming Zhou and Yinjie Zhao, University of Michigan; Hang Zhu, Wenxiao Wang, Zhihao Bai, Yun Zhang, Shuguang Wang, and Haibin Lin, ByteDance Seed; Peng Huang, University of Michigan	OSDI '26	Paper
06/25/2026	Ziming Zhou	OpGuard OSDI '25 Practice Talk Ziming Zhou and Yinjie Zhao, University of Michigan; Hang Zhu, Wenxiao Wang, Zhihao Bai, Yun Zhang, Shuguang Wang, and Haibin Lin, ByteDance Seed; Peng Huang, University of Michigan	OSDI '26	Paper
07/01/2026	Yi Chen	JITServe: SLO-aware LLM Serving with Imprecise Request Information Wei Zhang, Zhiyu Wu, and Yi Mu, University of Illinois, Urbana-Champaign; Rui Ning, unaffiliated; Banruo Liu, University of Illinois Urbana-Champaign; Nikhil Sarda, Google; Myungjin Lee, Cisco Research; Fan Lai, University of Illinois Urbana-Champaign	NSDI '26	Paper