VMware Research Group
We bring development to the VeRGe of research, and research to the VeRGe of production.
A statical method for sampling unstructured logs.
...for his work on "An Efficient Protocol for Secure Two-Party Computation in the Presence of Malicious Adversaries."
...for her work on "Lock-Free Locks Revisited."
...for his work "Graham: Synchronizing Clocks by Leveraging Local Clock Properties."