Dave Harper, Microsoft Research