James W. Mickens, Microsoft Research