Phillip B. Gibbons, Intel Research Pittsburgh