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:
Oct. 25, 2022
Filed:
Dec. 15, 2020
Google Llc, Mountain View, CA (US);
Rishabh Singh, San Jose, CA (US);
Aaron Zemach, Mountain View, CA (US);
Chiraag Galaiya, Mountain View, CA (US);
Dima Brezhnev, Mountain View, CA (US);
David Lick, Mountain View, CA (US);
Francisco Velasquez, Mountain View, CA (US);
Max Lin, Mountain View, CA (US);
Neha Bhargava, Mountain View, CA (US);
Peilun Zhang, Mountain View, CA (US);
Rahul Srinivasan, Mountain View, CA (US);
Simon Tong, Mountain View, CA (US);
Victoria Taylor, Mountain View, CA (US);
Vishnu Sivaji, Mountain View, CA (US);
Zifan Xiao, Mountain View, CA (US);
GOOGLE LLC, Mountain View, CA (US);
Abstract
Techniques are described herein for automatically synthesizing programs that include one or more functions in a spreadsheet programming language. A method includes: receiving a first example including input provided in a first cell in a spreadsheet; automatically synthesizing a plurality of candidate programs including a first set of candidate programs consistent with the first example, wherein each candidate program in the first set of candidate programs comprises at least one function in a spreadsheet programming language and, when the candidate program is executed, the candidate program generates output that matches the first example; ranking the plurality of candidate programs; and storing a highest-ranked program of the plurality of candidate programs in association with the first cell in the spreadsheet.