Marcos K. Aguilera, VMware