Christian Belady, Microsoft Research