Human-computer interaction
Redefining human experiences through innovations in research, design, and technology.
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…
