Vu Nguyen Le

US Patent:

20220317978, Oct 6, 2022

Filed:

Apr 1, 2021

Appl. No.:

17/220131

Inventors:

- Redmond WA, US
Gustavo ARAUJO SOARES - Seattle WA, US
Piyush ARORA - Seattle WA, US
Peter GROENEWEGEN - Sammamish WA, US
Sumit GULWANI - Sammamish WA, US
Ameya Sanjay KETKAR - Corvallis OR, US
Vu Minh LE - Redmond WA, US
Wode NI - Pittsburg PA, US
David Ellis PUGH - Bellevue WA, US
Arjun RADHAKRISHNA - Seattle WA, US
Ivan RADICEK - Zagreb, HR
Ashish TIWARI - Sammamish WA, US
Mark Alistair WILSON-THOMAS - Mercer Island WA, US

International Classification:

G06F 8/33
G06F 8/34
G06F 8/41

Abstract:

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.

US Patent:

20220317979, Oct 6, 2022

Filed:

Apr 1, 2021

Appl. No.:

17/220156

Inventors:

- Redmond WA, US
Piyush ARORA - Seattle WA, US
Titus BARIK - Issaquah WA, US
Peter GROENEWEGEN - Sammamish WA, US
Sumit GULWANI - Sammamish WA, US
Ameya Sanjay KETKAR - Corvallis OR, US
Vu Minh LE - Redmond WA, US
Wode NI - Pittsburg PA, US
David Ellis PUGH - Bellevue WA, US
Arjun RADHAKRISHNA - Seattle WA, US
Ivan RADICEK - Zagreb, HR
Ashish TIWARI - Sammamish WA, US
Mark Alistair WILSON-THOMAS - Mercer Island WA, US

International Classification:

G06F 8/33
G06F 16/901

Abstract:

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.

US Patent:

20210349698, Nov 11, 2021

Filed:

May 7, 2020

Appl. No.:

16/869414

Inventors:

- Redmond WA, US
Vu Minh LE - Bellevue WA, US
Sumit GULWANI - Sammamish WA, US

International Classification:

G06F 8/36
G06F 8/33
G06F 8/51

Abstract:

Flexible yet efficient “find” operations search source code for matches to a general pattern after a developer provides an example string that matches the pattern, without requiring the developer to write a regular expression or script that will implement the desired pattern. Example-driven find-replace functionality uses regular expressions or other pattern match codes, and scripts or other transforms, which are synthesized automatically from examples provided by a developer. This technology allows the developer to focus on workflow inside an integrated development environment instead of breaking focus to search for external documentation, or unfortunately foregoing the flexibility and power of regular expressions and scripts. Synthesizer outputs may be directly or indirectly ranked through user feedback, allowing their refinement. Find match generality may be controlled, e.g., by specifying regex star positions or star counts. Entry of guiding examples may be assisted by autocompletion. Performance criteria are also described.

US Patent:

20200334054, Oct 22, 2020

Filed:

Oct 3, 2019

Appl. No.:

16/592470

Inventors:

- Redmond WA, US
Arjun RADHAKRISHNA - Seattle WA, US
Abhishek UDUPA - Bellevue WA, US
Gustavo ARAUJO SOARES - Seattle WA, US
Vu Minh LE - Bellevue WA, US
Anders MILTNER - Princeton NJ, US
Mark A. WILSON-THOMAS - Mercer Island WA, US

International Classification:

G06F 9/451
G06F 8/33
G06F 8/40

Abstract:

Automatically identifying context-specific repeated transformations (such as repeated edit tasks) that are based on observation of the developer drafting or modifying code. As the developer modifies the code, the code passes through a series of states, one after the other. The computing system observes the series of states of the code. It is based on this observation that the computing system identifies repeated transformations of the code for potentially offering to continue performing the repeated transformations for the user. This alleviates the developer from having to manually perform the remainder of the repeated transformations.

US Patent:

20170075661, Mar 16, 2017

Filed:

Sep 14, 2015

Appl. No.:

14/853925

Inventors:

- Redmond WA, US
Benjamin Goth Zorn - Woodinville WA, US
Rishabh Singh - Kirkland WA, US
Mark Marron - Redmond WA, US
Oleksandr Polozov - Seattle WA, US
Vu Minh Le - Kirkland WA, US
Mikael Mayer - Issy Moulineaux, FR
Gustavo Araujo Soares - Paraiba, BR
Maxim Grechkin - Seattle WA, US

International Classification:

G06F 9/44

Abstract:

Systems and methods for increasing user confidence in results that are produced by one or more programs that are generated by an underlying Programming-By-Example (PBE) system based on user input examples. A plurality of generated programs that have been generated using one or more user input examples that are indicative of an output that should be achieved to comply with a user determined result are received. The generated programs are narrowed based on one or more sub-expressions of the programs that are likely to cause the resultant program to comply with the user determined result. The one or more sub-expressions are exposed. Input that selects at least one of the one or more exposed sub-expressions to thereby identify the one of the generated programs that will result in the user determined result is received.

US Patent:

20140282375, Sep 18, 2014

Filed:

Jun 28, 2013

Appl. No.:

13/931625

Inventors:

- Redmond WA, US
Jonathan Paul de Halleux - Seattle WA, US
Nikolai Tillmann - Redmond WA, US
Vu Minh Le - Davis CA, US
Zhendong Su - San Ramon CA, US

International Classification:

G06F 9/44

US Classification:

717107

Abstract:

A program development framework (PDF) is described herein which allows a user to produce a program in piecemeal fashion by successively specifying program fragments. The PDF creates a new program fragment by receiving keyword information from the user that describes a new program fragment, and then identifies context information that pertains to a programmatic context in which the new program fragment appears within the overall program being created. The PDF then generates a set of candidate program fragments that satisfy the keyword information and the context information, and ranks those candidate program fragments based on ranking information. At least part of the ranking information may be based on statistical information that is produced by analyzing a corpus of previous programs produced by one or more users. The PDF then provides the ranked program fragments to the user using various user-friendly presentation strategies.