me

Jialin Li

About Me

I am a 6th year PhD student at the University of Washington systems lab. I am co-advised by Tom Anderson and Jon Howell. My research interest is buildling practical and performant verified systems, specifically crash-safe storage systems. I am also broadly interested in operating systems and distributed systems.

Publication and Talk

Talk: Linear Types for Systems Verification
PNW PLSE Workshop 2023

Linear types for large-scale systems verification
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parnos, Chris Hawblitzel.
Distinguished Paper Award
OOPSLA 2022

An Incremental Path Towards a Safe OS Kernel
Jialin Li, Samantha Miller, Danyang Zhuo, Jon Howell, Thomas Anderson.
HotOS 2021

Teaching Experience

Other Projects

I have been working on a new teaching operating system with another Jialin. We focus on creating a clean interface between machine dependent and machine independent code in the OS to help students understand subsystems functionality and low level details indepdently.

Contact

Reach me at jlli@cs dot washington dot edu