James Mickens, Microsoft Research