VMware Research Group

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

VMware® Research Announcements

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

VMware Research Partnering on Digital Government Bond PoC

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