VMware Academic Program

Projects
Team
Announcements
Publications
About Us
Directions
Recruiting

Jialin Li

Research intern

Seattle, WA, US

Projects

BetrFS
Verified Systems Software
Verus

Publications

Linear Types for Large-Scale Systems Verification