Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9400639 | Generating programs using context-free compositions and probability of determined transformation rules | Adam Kalai, Butler W. Lampson, Sumit Gulwani, Omer Tamuz | 2016-07-26 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9400639 | Generating programs using context-free compositions and probability of determined transformation rules | Adam Kalai, Butler W. Lampson, Sumit Gulwani, Omer Tamuz | 2016-07-26 |