Flavio P. Junqueira, Microsoft Research