Sebastian Burckhardt, Microsoft Research