Issued Patents All Time
Showing 26–42 of 42 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11256485 | Systems and methods for synthesizing code from input and output examples | Kensen Shi, David Bieber | 2022-02-22 |
| 11232650 | Modelling operational conditions to predict life expectancy and faults of vehicle components in a fleet | Arun Rajkumar, Sriranjani Ramakrishnan, Shisagnee Banerjee, Kowshik Chilamkurthi, Prateek Yadav +1 more | 2022-01-25 |
| 11200139 | Automatic configuration of software systems for optimal management and performance using machine learning | Saket Mehta, Prerana Singhal | 2021-12-14 |
| 11080475 | Predicting spreadsheet properties | Ben Livshits, Benjamin G. Zorn | 2021-08-03 |
| 10983853 | Machine learning for input fuzzing | Patrice Godefroid, Hila Peleg | 2021-04-20 |
| 10817552 | Input-output example encoding | Abdelrahman S. A. Mohamed, Pushmeet Kohli, Emilio Parisotto | 2020-10-27 |
| 10795645 | Neural network for program synthesis | Abdelrahman S. A. Mohamed, Lihong Li, Dengyong Zhou, Pushmeet Kohli, Emilio Parisotto | 2020-10-06 |
| 10713429 | Joining web data with spreadsheet data using examples | Jeevana Priya INALA | 2020-07-14 |
| 10599627 | Automatically converting spreadsheet tables to relational tables | Sumit Gulwani, Dana Drachsler Cohen | 2020-03-24 |
| 10528328 | Learning from input patterns in Programing-By-Example | — | 2020-01-07 |
| 10452526 | Machine learning for constrained mutation-based fuzz testing | Mohit Rajpal, William R. Blum | 2019-10-22 |
| 10409892 | Formatting data by example | Chad Rothschiller, Daniel Battagin, Christopher Benedict, Rodrigo Moreira-Silveira, Dmitri O. Danilov +5 more | 2019-09-10 |
| 9891895 | User interaction models for disambiguation in programming-by-example | Sumit Gulwani, Benjamin G. Zorn, Mark Marron, Oleksandr Polozov, Vu Minh Le +3 more | 2018-02-13 |
| 9552335 | Expedited techniques for generating string manipulation programs | Sumit Gulwani, Dany Rouhana, Benjamin G. Zorn, Weide Zhong | 2017-01-24 |
| 9002758 | Ranking for inductive synthesis of string transformations | Sumit Gulwani | 2015-04-07 |
| 8799234 | Semantic entity manipulation using input-output examples | Sumit Gulwani | 2014-08-05 |
| 8650207 | Inductive synthesis of table-based string transformations | Sumit Gulwani, Dany Rouhana | 2014-02-11 |