I am a fourth year PhD student at the University of Washington systems lab. I am advised by Tom Anderson. My research area is systems verification, I am currently working with Jon Howell and Rob Johnson from VMware Research on building performant and correct storage systems. I am broadly interested in operating systems and distributed systems.
I also enjoy photography, musical, traveling, random walks, and finding good food :)
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. We are also working on more testing features including data race detector and model checker.
Reach me at jialin@cs dot washington dot edu :)