Thomas Ball, Microsoft Research