Dimitrios Vytiniotis, Microsoft Research