Programming languages and software engineering
Video
Power BI Import Text Using Examples
FlashExtract extracts data from semi-structured text files using examples. It has been shipped to Power Query, PowerShell, and Azure Monitor.
Project
PROSE-Powered Data Ingestion (a.k.a. Table Extraction)
When the COVID-19 pandemic was in its early stages, several agencies published infection and mortality data for different geographical regions in the public domain. This data appeared in web pages, CSV files, JSON files, and more. There…
Project
GridBook
Natural Language Formulas for the Spreadsheet Grid Writing formulas on the spreadsheet grid is arguably the most widely practiced form of programming. Still, studies highlight the difficulties experienced by end-user programmers when learning and using…
Project
AI meets PL
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…
Event
Microsoft at POPL 2022
Microsoft is proud to be a platinum sponsor of POPL 2022 taking place virtually on January 16-22, 2022.
Publication
SolType: Refinement Types for Solidity
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…