Madanlal Musuvathi, Microsoft Research