Programming languages and software engineering - Microsoft Research