Karthik Kalyanaraman, Microsoft Research