Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
In this area of research, we broadly explore combining machine learning and program synthesis in various ways. This is an umbrella project that has spawned several projects exploring applications of such a combination in different…
Microsoft is proud to be a platinum sponsor of POPL 2022 taking place virtually on January 16-22, 2022.
Large Language Models meet Program Synthesis Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. Large pre-trained language models such as GPT-3, Codex, and Google’s language model…
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…
We are actively pursuing a sustainable form of cloud computing, Green Cloud Computing, to reduce the energy consumption and cut down carbon emission accordingly.
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…
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…
