Mihai Budiu, Microsoft Research Silicon Valley