Benjamin Livshits, Microsoft Research