Programming languages and software engineering
Project
Project Jigsaw
Large Language Models meet Program Synthesis Large pre-trained language models such as GPT-3, Codex, and Google’s language model are now capable of generating code from natural language specifications of programmer intent. We view these developments…
Project
AI Tooling and MLOps
In recent years, artificial intelligence (AI), including machine learning (ML) and deep learning (DL), has been widely adopted in many application domains, such as computer vision, speech recognition, natural language processing, and gaming. However, developers…
Publication
HEAT: Hyperedge Attention Networks
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…
