Jose Renato Santos, HP Labs