Blog
VMware Academic Program
Login
Menu
Projects
Team
Announcements
Publications
About Us
Directions
Recruiting
Travis Hance
Research intern
Pittsburgh, PA, US
Projects
Verified Systems Software
Publications
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
Leaf: Modularity for Temporary Sharing in Separation Logic