公开(公告)号：US20230176829A1

公开(公告)日：2023-06-08

申请号：US17544502

申请日：2021-12-07

Applicant: Microsoft Technology Licensing, LLC

Inventor： Kiarash RAHMANI ,  Mohammad RAZA ,  Sumit GULWANI ,  Vu Minh LE ,  Daniel James MORRIS ,  Arjun RADHAKRISHNA ,  Gustavo ARAUJO SOARES ,  Ashish TIWARI

IPC: G06F8/33 ,  G06F40/40 ,  G06F8/38 ,  G06F40/30 ,  G06F8/10

CPC classification number: G06F8/33 ,  G06F40/40 ,  G06F8/38 ,  G06F40/30 ,  G06F8/10

Abstract: Embodiments use a multi-modal approach to generate software programs that match a solution program description. The solution program description may include natural language, input-output examples, partial source code, desired operators, or other hints. Some embodiments use optimized prompts to a pre-trained language model to obtain initial candidate programs. Maximal program components are extracted and then recombined variously using component-based synthesis. Beam search reduces a solution program search space by discarding some candidates from a given synthesis iteration. Relevance metrics, string similarity metrics, operator frequency distributions, token rareness scores, and other optimizations may be employed. By virtue of optimizations and the multi-modal approach, a solution program may be obtained after fewer iterations than by use of a language model alone. The multi-modal approach is domain agnostic, as illustrated by examples using regular expression and cascading style sheet selector domain specific languages.

公开(公告)号：US20220317979A1

公开(公告)日：2022-10-06

申请号：US17220156

申请日：2021-04-01

Applicant: Microsoft Technology Licensing, LLC

Inventor： Gustavo ARAUJO SOARES ,  Piyush ARORA ,  Titus BARIK ,  Peter GROENEWEGEN ,  Sumit GULWANI ,  Ameya Sanjay KETKAR ,  Vu Minh LE ,  Wode NI ,  David Ellis PUGH ,  Arjun RADHAKRISHNA ,  Ivan RADICEK ,  Ashish TIWARI ,  Mark Alistair WILSON-THOMAS

IPC: G06F8/33 ,  G06F16/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.

公开(公告)号：US20240176802A1

公开(公告)日：2024-05-30

申请号：US18060500

申请日：2022-11-30

Applicant: Microsoft Technology Licensing, LLC

Inventor： Shaleen DEEP ,  Zifan LIU ,  Ashish TIWARI ,  Anna FARIHA ,  Avrilia FLORATOU ,  Fotios PASALLIDAS

IPC: G06F16/28 ,  G06F16/22

CPC classification number: G06F16/284 ,  G06F16/2246

Abstract: Example aspects include techniques for improved constraint discovery on relational data. These techniques may include constructing a first layer of a lattice using a first plurality of candidate denial constraints (DC) each having a first number of predicates. In addition, the techniques may include performing a tree-based verification process on the first layer of the lattice to determine one or more verified DCs confirmed to be DCs and a plurality of unverified DCs that are not confirmed to be DCs. Further, the techniques may include presenting, via a graphical user interface (GUI), DC information based on the one or more verified DC, and generating, for construction of a second layer of the lattice to be evaluated via the tree-based verification process, a second plurality of candidate DCs by combining the plurality of unverified DCs.

公开(公告)号：US20230289523A1

公开(公告)日：2023-09-14

申请号：US17693285

申请日：2022-03-11

Applicant: Microsoft Technology Licensing, LLC

Inventor： Rohan Jayesh BAVISHI ,  José Pablo CAMBRONERO SÁNCHEZ ,  Anna FARIHA ,  Sumit GULWANI ,  Vu Minh LE ,  Ivan RADICEK ,  Daniel Galen SIMMONS ,  Ashish TIWARI

IPC: G06F40/211 ,  G06F40/284 ,  G06F8/30 ,  G06F16/332

CPC classification number: G06F40/211 ,  G06F40/284 ,  G06F8/31 ,  G06F16/3329

Abstract: 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.

公开(公告)号：US20230280989A1

公开(公告)日：2023-09-07

申请号：US17687577

申请日：2022-03-04

Applicant: Microsoft Technology Licensing, LLC

Inventor： José Pablo CAMBRONERO SÁNCHEZ ,  Sumit GULWANI ,  Vu Minh LE ,  Daniel PERELMAN ,  Arjun RADHAKRISHNA ,  Daniel Galen SIMMONS ,  Clint Michael SIMON ,  Ashish TIWARI

IPC: G06F8/41 ,  G06F40/211 ,  G06F40/30

CPC classification number: G06F8/436 ,  G06F8/427 ,  G06F40/211 ,  G06F40/30

Abstract: Techniques are described herein that are capable of synthesizing a computer program to include idiomatic function(s) and semantically-meaningful variable(s) using programming by example. For instance, an intent of a user to synthesize a computer program to include functionality configured to generate sample output(s) from respective input(s) is determined based at least in part on receipt of the sample input(s) and the respective sample output(s) from the user. Based at least in part on the determined intent, the computer program is synthesized to include the idiomatic function(s) by configuring the idiomatic function(s) to have the target functionality and to conform to a convention of the target domain-specific language associated with a textual representation of the computer program to be displayed to the user. Non-semantically-meaningful variable(s) included among the idiomatic function(s) are replaced with the respective semantically-meaningful variable(s). The textual representation of the computer program is caused to be displayed to the user.

公开(公告)号：US20230229850A1

公开(公告)日：2023-07-20

申请号：US17576652

申请日：2022-01-14

Applicant: Microsoft Technology Licensing, LLC

Inventor： Mohammad RAZA ,  Arjun RADHAKRISHNA ,  José Pablo CAMBRONERO SÁNCHEZ ,  Sumit GULWANI ,  John Francis LAM ,  Vu Minh LE ,  Daniel MORRIS ,  Daniel Adam PERELMAN ,  Daniel Galen SIMMONS ,  Gustavo ARAUJO SOARES ,  Ashish TIWARI

IPC: G06F40/154 ,  G06F9/54 ,  G06F40/143 ,  G06N20/00 ,  G06F40/18 ,  G06F40/183

CPC classification number: G06F40/154 ,  G06F9/543 ,  G06F40/143 ,  G06N20/00 ,  G06F40/18 ,  G06F40/183

Abstract: Pasting content from a clipboard buffer as structured tabular data. A computer system determines a data type of content within a clipboard buffer. Based on the data type of the content, the computer system identifies a tabular pattern analysis technique to apply to the content. Based on applying the tabular pattern analysis technique to the content, the computer system identifies a portion of tabular content within the content. Using a clipboard application programming interface, the computer system presents the portion of tabular content to an application as paste data that is structured as a set of rows and a set of columns.

公开(公告)号：US20220317978A1

公开(公告)日：2022-10-06

申请号：US17220131

申请日：2021-04-01

Applicant: Microsoft Technology Licensing, LLC

Inventor： Titus BARIK ,  Gustavo ARAUJO SOARES ,  Piyush ARORA ,  Peter GROENEWEGEN ,  Sumit GULWANI ,  Ameya Sanjay KETKAR ,  Vu Minh LE ,  Wode NI ,  David Ellis PUGH ,  Arjun RADHAKRISHNA ,  Ivan RADICEK ,  Ashish TIWARI ,  Mark Alistair WILSON-THOMAS

IPC: G06F8/33 ,  G06F8/34 ,  G06F8/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.