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 VerificationPNW 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
- Spring 2024: instructor for CSE451 Operating Systems
- Autumn 2023: instructor for CSE451 Operating Systems
- Autumn 2022: co-instructor for CSE451 Operating Systems
- Winter 2020: TA for CSE451 Operating Systems (with the teaching os described below)
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