Empirical Software Engineering at Microsoft Research