VMware Research Group

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

Featured VMware® Project

Stratified Log Sampling

A statical method for sampling unstructured logs.

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

Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion

by Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 2022

Search Publications

VMware® Research Announcements

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."

VMware Research Partnering on Digital Government Bond PoC

October 19, 2022

The Israeli Ministry of Finance and the Tel Aviv Stock Exchange will pilot the issuance of digital government bonds.