Madan Musuvathi, Microsoft Research Asia