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.

Schedule

10 sessions
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
07/17/2026 Wanning He

Murakkab: Resource-Efficient Agentic Workflow Orchestration in Cloud Platforms

Gohar Irfan Chaudhry, MIT CSAIL; Esha Choukse, Haoran Qiu, Íñigo Goiri, and Rodrigo Fonseca, Microsoft Azure Research; Adam Belay, MIT CSAIL; Ricardo Bianchini, Microsoft Azure

OSDI '26 Paper
07/22/2026 Yuxuan Jiang

Controlling Opaque-Component Effects with Semisolates and Try

Evangelos Lamprou, Brown University; Tianyu (Ezri) Zhu, Stevens Institute of Technology; Di Jin and Grigoris Ntousakis, Brown University; Georgios Liargkovas, Columbia University; Calvin Eng, Brown University; Konstantinos Kallas, University of California, Los Angeles; Michael Greenberg, Stevens Institute of Technology; Nikos Vasilakis, Brown University

OSDI '26 Paper
07/29/2026 Yi Chen

Simple Is Better: Multiplication May Be All You Need for LLM Request Scheduling

Dingyan Zhang, Jinbo Han, Kaixi Zhang, and Xingda Wei, Shanghai Jiao Tong University; Sijie Shen, Chenguang Fang, Wenyuan Yu, and Jingren Zhou, Alibaba Group; Rong Chen, Shanghai Jiao Tong University

OSDI '26 Paper