Microsoft Technology Licensing, LLC

Titus Barik

Sumit Gulwani

Mark Alistair Wilson-Thomas

Arjun Radhakrishna

Ashish Tiwari

Vu Minh Le

David Ellis Pugh

Gustavo Araujo Soares

Piyush Arora

Ivan Radicek

Wode Ni

Ameya Sanjay Ketkar

Peter Groenewegen

Edit automation functionality generalizes edits performed by a user in a document, locates similar text, and recommends or applies transforms while staying within a current workflow. Source code edits such as refactoring are automated. The functionality uses or provides anchor target lists, temporal edit patterns, edit graphs, automatable edit sequence libraries, and other data structures and computational techniques for identifying locations appropriate for particular edits, for getting transforms, for selecting optimal transforms, for leveraging transforms in an editing session or later, and for displaying transform recommendations and results. The edit automation functionality enhances automation subtool generation, discoverability, and flexibility, for refactoring, snippet insertion, quick actions in an integrated development environment, and other automatable edit sequences.

Edit automation using an anchor target list

Edit automation using a temporal edit pattern

In a computer program, sublanguage code snippets implement regular expressions, pattern matching, print formatting, component selection, and other operations, using sublanguage syntax and semantics different from the source code in which snippets are embedded. Writing snippets that give desired execution results has been difficult and interfered with software development workflow. But sublanguage snippet presentation functionality in an enhanced development tool automatically detects source code locations suitable for snippets, receives snippet execution result examples from a developer, submits the examples to synthesis-by-example technology, gets autosynthesized snippets that give those results, and displays snippet insertion candidates with guidance. A snippet selected by the developer replaces the example(s) in the source code, improving developer productivity and program execution accuracy with respect to documented test cases. Examples may be autogenerated, including representative examples or disambiguating examples. Examples may be preserved in comments. Performance criteria for sublanguage snippet presentation are also described.

Autosynthesized sublanguage snippet presentation

Growing community of inventors

Issaquah, WA, United States of America

Titus Barik