Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11194800 | Parallel search in program synthesis | Sumit Gulwani, Michael Vollmer | 2021-12-07 |
| 10983813 | Automatic repetition of context-specific code edits | Sumit Gulwani, Arjun Radhakrishna, Gustavo Araujo Soares, Vu Minh Le, Anders Miltner +1 more | 2021-04-20 |