John R. Douceur, Microsoft Research