VMware Academic Program

Projects
Team
Announcements
Publications
About Us
Directions
Recruiting

Jialin Li

Research Intern

Seattle, WA, US

Projects

Verified Systems Software

Publications

Linear Types for Large-Scale Systems Verification