UIUC Systems Verification Reading Group
Spring 2024

Tuesday 2-3pm, Siebel 2407

UIUC Systems Verification Reading Group is a weekly meetup for anyone interested in systems verification research at University of Illinois at Urbana-Champaign.

We discuss recent significant work (e.g., published at top-tier conferences) and identify new research directions/ideas.

Join us on Slack: uiuc-sysnet.slack.com and search for channel #systems-verification-seminar

This seminar does not come with any credit.

Date Topic Discussion leader
2/6 Introduction and organization Madhusudan Parthasarathy
Tianyin Xu
Xudong Sun
2/13 Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions
POPL, 2024 		Xudong Sun
2/20 SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
SOSP, 2015 		Xudong Sun
2/27 Automated Verification of Customizable Middlebox Properties with Gravel
NSDI, 2020 		Kuan-Yen Chou
3/5 Campus visit day
3/12 Spring break
3/19 Traveling
3/26 A Secure and Formally Verified Linux KVM Hypervisor
S&P (Oakland), 2021 		Jiyuan Zhang
Hao Lin
4/2 Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
OSDI, 2023 		Xudong Sun
4/9 CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
OSDI, 2016 		Xudong Sun
4/16 SOSP deadline
4/23 Special Seminar, 10am, Zoom Talk info
Strong Foundations with Formal Methods: Bridging the Gap Between Theory and Practice 		Travis Hance
Carnegie Mellon University
4/30
sys-net@cs.illinois.edu