Phillip B. Gibbons, Intel Labs