VMware Research Group

We bring development to the VeRGe of research, and research to the VeRGe of production.

VMware® Research Announcements

We are hiring!

We seek researchers working in machine learning, systems, and related areas, but we'll also consider strong candidates in all areas.

OOPSLA '22 paper wins award

“Linear Types for Large-Scale Systems Verification" received an ACM SIGPLAN Distinguished Paper Award.

Tej Chajed receives honorable mention for the SIGOPS Denn...

...for his dissertation "Verifying a concurrent, crash-safe file system with sequential reasoning."