Programming languages and software engineering
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…
Publication
Distributed Bounded Model Checking
Publication