Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
It’s a big shift to change from being motivated by getting published in prestigious conferences and journals, to being motivated by solving real problems for real people. Halfway through my 18-year research career working on…
Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with disruptive applications for automating repetitive tasks in end-user programming. However, designing, developing, and maintaining an effective industrial-quality inductive synthesizer is an intellectual and engineering challenge, requiring…
The Microsoft Research PhD Scholarship Programme in EMEA awards scholarships to fund the most promising and groundbreaking computer science research by PhD students across Europe, the Middle East, and Africa. We are extremely proud today…
Representing a program as a numerical vector (i.e., neural representation) enables handling discrete programs using continuous optimization approaches, and thus opens up new opportunities to tackle many traditional challenging programming language problems. In this talk,…
Zhangjiaji National Park, China environment with AirSim plugin to fly simulated drones.
Sumit Gulwani will talk about the four bets that he made in the second half of his research career, which yielded greater personal satisfaction. He will illustrate this in the context of his research agenda…
On February 24-25, 2018, Microsoft, LifeNome, Inc., and Sequencing.com will co-host the second Hack the Genome hackathon at Microsoft’s office in Times Square, New York City. This exciting two-day competition will focus on developing apps…
