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:
Feb. 13, 2018
Filed:
Sep. 14, 2015
Microsoft Technology Licensing, Llc, Redmond, WA (US);
Sumit Gulwani, Bellevue, 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);
Microsoft Technology Licensing, LLC, Redmond, WA (US);
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.