Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Finding and fixing bugs in code is a time-consuming, and often frustrating, part of everyday work for software developers. Can deep learning address this problem and help developers deliver better software, faster? In a new…
Developers Who Vlog: Dismantling Stereotypes through Community and Identity Souti Chattopadhyay, Denae Ford, Thomas Zimmermann CSCW’21: ACM Conference on Computer-Supported Cooperative Work and Social Computing Session: Online Identities Abstract Developers are more than “nerds behind…
Education needs technology-based disruption for personalization. Programming education needs most attention, given the increasing skills gap in the IT industry and the need to introduce computational thinking in schools. Programming education is also challenging as…
Building deep learning-based search and recommendation systems at internet scale requires a complete redesign of the search index. Key to this redesign is a fast, accurate, and cost-efficient indexing system for approximate nearest neighbor search.…
The socio-technical nature of the software development process has continually taken a prominent role in how software systems has evolved. Microsoft, as the global leader in software development, is home to the world’s largest developer…
Augmented Mathematical Intelligence (AMI) refers to the ability to solve formally specified problems as reliably as humans can over all classes of such problems that are of interest to our civilization. This includes not only…
Machine learning systems have become increasingly capable of making fast, plausible predictions in diverse situations. Combining this capability with the reliability of symbolic reasoning will produce next generation AI that will empower developers and mathematicians…
As more people are programming for a purpose, they have turned to online communities and resources to grow their developer skills. But there are a few open questions about how people are engaging in these…
Machine learning systems have become increasingly capable of making fast, plausible predictions in diverse situations. Combining this capability with the reliability of symbolic reasoning will produce next generation AI that will empower developers and mathematicians…
