Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10482262 | Static analysis based on abstract program representations | Babita Sharma, Richard Myer Goldberg, John Peyton, Jeffrey C. Turnham, Matthew Francis Murphy +1 more | 2019-11-19 |
| 9785777 | Static analysis based on abstract program representations | Babita Sharma, Richard Myer Goldberg, John Peyton, Jeffrey C. Turnham, Matthew Francis Murphy +1 more | 2017-10-10 |