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.

Date of Patent:
Apr. 21, 2025

Filed:

Jan. 25, 2023
Applicant:

Microsoft Technology Licensing, Llc, Redmond, WA (US);

Inventors:

Jialu Zhang, New Haven, CT (US);

José Pablo Cambronero Sánchez, New Haven, CT (US);

Gustavo Araujo Soares, Seattle, WA (US);

Vu Minh Le, Redmond, WA (US);

Sumit Gulwani, Sammamish, WA (US);

Gust Ben Anneloes Verbruggen, Keerbergen, BE;

Assignee:
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 11/36 (2005.12); G06F 8/41 (2017.12); G06F 8/71 (2017.12); G06F 11/3604 (2024.12);
U.S. Cl.
CPC ...
G06F 11/3608 (2012.12); G06F 8/42 (2012.12); G06F 8/71 (2012.12);
Abstract

Some embodiments generate prompts and submit them in queries to a language model trained on code to perform automated program repair. Some embodiments fix syntactic mistakes and semantic mistakes by combining multimodal prompts, iterative querying, test-case-based selection of few-shots, and program chunking. In some cases, edit distance is minimized between an initial flawed program and the automatically created improved version of that program. The initial flawed program is obtained from a programming student, or from a source code generator.


Find Patent Forward Citations

Loading…