Project
PROSE – Text Transformation
Transformation.Text is a system that performs string transformations using examples allowing for many tasks involving strings to be performed automatically.
Human-computer interaction
Designing technology that is more intuitive, accessible, and useful across the full range of human experiences.
Project
PROSE – Text Extraction (FlashExtract)
Extraction.Text extracts data from semi-structured text files using examples.
Project
PROSE – Json Extraction
Extraction.Json automatically extracts tabular data from Json files. It supports extracting Newline Delimited Json and truncated Json.
Video
Harnessing high-fidelity simulation for autonomous systems through AirSim
Robots and autonomous systems are playing a significant role in modern times, in both academic research and industrial applications. Handling the constant variability and uncertainty present in the real world is a major challenge for…
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…
