Microsoft Technology Licensing, LLC

Ivan Radicek

Sumit Gulwani

Vu Minh Le

Ashish Tiwari

Mark Alistair Wilson-Thomas

David Ellis Pugh

Gustavo Araujo Soares

Arjun Radhakrishna

Piyush Arora

Titus Barik

Wode Ni

Ameya Sanjay Ketkar

Daniel Galen Simmons

Peter Groenewegen

José Pablo Cambronero Sánchez

Anna Fariha

Rohan Jayesh Bavishi

Techniques are described herein that are capable of creating a language-agnostic computer program repair engine generator. A context-free grammar is annotated to identify token(s) that are likely to be included in or excluded from a computer program in a manner that violates the context-free grammar. A language-agnostic computer program repair engine generator is created that is configured to generate a parser. The repair engine generator is configured to create a repair engine that: converts the candidate string into repaired strings that neither violate the context-free grammar nor violate a criterion for a valid computer program; calculates differences between the candidate string and the respective repaired strings; and replaces the candidate string with a designated repaired string based at least in part on the difference between the designated repaired string and the candidate string being less than or equal to a difference threshold.

Language-agnostic computer program repair engine generator

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

Growing community of inventors

Zagreb, Croatia

Ivan Radicek