Issued Patents 2018
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10108597 | Automated table transformations from examples | William R. Harris | 2018-10-23 |
| 9940106 | Generating programs using context-free compositions and probability of determined transformation rules | Adam Kalai, Butler W. Lampson, Aditya Krishna Menon, Omer Tamuz | 2018-04-10 |
| 9891895 | User interaction models for disambiguation in programming-by-example | Benjamin G. Zorn, Rishabh Singh, Mark Marron, Oleksandr Polozov, Vu Minh Le +3 more | 2018-02-13 |