Issued Patents 2023
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11775293 | Deploying a static code analyzer based on program synthesis from input-output examples | Peter GROENEWEGEN, Gustavo Araujo Soares, Mark Alistair WILSON-THOMAS, Jonathan Keith SIMMONS | 2023-10-03 |
| 11714613 | Surfacing underutilized tool features | Peter GROENEWEGEN, Gustavo Araujo Soares, Mark Alistair WILSON-THOMAS, Piyush Arora, Aaron Chak Hei YIM +4 more | 2023-08-01 |