Project
PROSE – Json Extraction
Extraction.Json automatically extracts tabular data from Json files. It supports extracting Newline Delimited Json and truncated Json.
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Programming by Rewards
Video
Web data extraction in Power BI: Program synthesis with or without examples
We describe the program synthesis features in Microsoft Power BI which help users to automatically generate programs for extracting data from webpages, by providing examples or even fully automatically in many cases.
Project
Predictive Program Synthesis
Program synthesis technologies help users to easily automate tasks that would otherwise require significant manual effort or programming skills. For instance, programming-by-example or natural language programming approaches allow the user to express intent by giving…
Video
On the Fly Synthesis of Edit Suggestions
Authors: Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa Presented at SPLASH 2019
Video
Blue-Pencil: modeless program synthesis
In this demo, we show how IntelliCode Suggestions can help developers perform repetitive code edits in Visual Studio. It is based on Blue-Pencil, a modeless program synthesis system. Blue-Pencil does not require developers to explicitly…
Event
Microsoft at ICSE 2020
Microsoft is proud to be a sponsor of the 42nd International Conference on Software Engineering (ICSE 2020). Please see detailed information on our contributions to the program below.
Project
Blue-Pencil: modeless program synthesis
Blue-Pencil aim at developing modeless program synthesis systems, that is, systems that do not require users do not explicitly enter a special mode to give demonstration or examples. Instead, a modeless program synthesis system observes…