VMware Research Group

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

Featured VMware® Project

Corfu

A cloud scale consistency platform

Explore All Projects

Featured Researcher

Israel Cidon

VP, Researcher
Palo Alto, CA, US

I like to explore new network architectures for solving emerging industry needs.

Meet the Team

Recent Publications

Scalable verification of GNN-based job schedulers

by Mahmood Sharif, Nina Narodytska, Gagandeep Singh, Haoze Wu, Clark W. Barrett, Proc. {ACM} Program. Lang. (OOPSLA), December, 2022

Search Publications

VMware® Research Announcements

We are hiring!

March 8, 2023

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

December 12, 2022

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

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

November 14, 2022

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