Programming languages and software engineering
Project
Green Cloud Computing
We are actively pursuing a sustainable form of cloud computing, Green Cloud Computing, to reduce the energy consumption and cut down carbon emission accordingly.
Video
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation
This keynote by Simon Peyton Jones was recorded at Haskell eXchange 2021 on 16 November 2021: Automatic differentiation is all the rage these days, largely because it is a key enabler for machine learning. But…
Microsoft Research Blog
Research at Microsoft 2021: Collaborating for real-world change
Over the past 30 years, Microsoft Research has undergone a shift in how it approaches innovation, broadening its mission to include not only advancing the state of computing but also using technology to tackle some…
Microsoft Research Blog
Finding and fixing bugs with deep learning
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…
Video
Developers Who Vlog: Dismantling Stereotypes through Community and Identity
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…
Video
AI for Programming Education
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…
Video
Research talk: Approximate nearest neighbor search systems at scale
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.…
Video
Panel: Developer velocity and productivity
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…
Video
Lightning talks: Augmented Mathematical Intelligence
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…
