John MacCormick, Hewlett-Packard Labs