John Douceur, Microsoft Research