Marcos K. Aguilera, Hewlett-Packard Labs