OrderLab Reading Group

Summer 2026

Tuesdays 3:00pm – 4:30pm, 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

2 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