Peter Bodik, Microsoft Research