The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Nov. 29, 2022
Filed:
Sep. 30, 2020
Microsoft Technology Licensing, Llc., Redmond, WA (US);
Shraddha Govind Barke, San Diego, CA (US);
Xiang Gao, Singapore, SG;
Sumit Gulwani, Sammamish, WA (US);
Alan Thomas Leung, Kirkland, WA (US);
Nachiappan Nagappan, Bellevue, WA (US);
Arjun Radhakrishna, Seattle, WA (US);
Gustavo Araujo Soares, Seattle, WA (US);
Ashish Tiwari, Sammamish, WA (US);
Mark Alistair Wilson-Thomas, Mercer Island, WA (US);
MICROSOFT TECHNOLOGY LICENSING, LLC., Redmond, WA (US);
Abstract
A synthesis procedure learns program transformations for a text document, on-the-fly during an edit session, from examples of concrete edits made during the edit session and from an unsupervised set of additional inputs. The additional inputs are derived from explicit feedback from the user and inferred feedback from the user's behavior during the edit session. A reward score, based on anti-unification and provenance analysis, is used to classify the additional inputs as either a positive input or a negative input. Outputs are generated for the positive inputs that are consistent with the existing examples and then used to synthesize a new program transformation. The program transformations are then used to generate code edit suggestions during the edit session.