Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Class of 2018-19 PhD fellows to push frontiers of AI
Class of 2018-19 PhD fellows to push frontiers of AI By Sandy Blyth A graduate student working on technology that leverages human brain signals to accelerate robot learning and another student who is developing models…
How Programming Languages Quietly Run the World with Dr. Ben Zorn
In an era of AI breakthroughs and other exciting advances in computer science, Dr. Ben Zorn would like to remind us that behind every great technical revolution is… a programming language. As a Principal Researcher…
Program Synthesis using Abstraction Refinement
CodeTalk: Rethinking IDE accessibility
It is a bright afternoon in the Microsoft Research India lab. Research Fellow, Venkatesh Potluri, sits at his computer, frantically racing against the clock to fix one last bug before the end of the day.…
