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

Rob Johnson

Senior Staff Researcher
Palo Alto, CA, US

I work on algorithms and data structures for storage.

Meet the Team

Recent Publications

Leaf: Modularity for Temporary Sharing in Separation Logic

by Travis Hance, Jon Howell, Oded Padon, Bryan Parno, Proc. ACM Program. Lang., October, 2023

Search Publications

VMware® Research Announcements

VRG Paper wins DISC '23 Best Student Paper Award

October 12, 2023

Congratulations Naama Ben-David, Gal Sela, and Adriana Szekeres!

VRG Paper Wins a VLDB '23 Best Research Paper Award

September 5, 2023

...for "DBSP: Automatic Incremental View Maintenance for Rich Query Languages."

Jon Howell receives IEEE Symposium on Security and Privac...

June 1, 2023

...for the 2013 paper, "Pinocchio: Nearly Practical Verifiable Computation."