Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12164647 | Model-based upgrade recommendations using software dependencies | — | 2024-12-10 |
| 11586740 | Detecting second-order security vulnerabilities in libraries | Raghavendra Kagalavadi Ramesh, Yang Zhao | 2023-02-21 |
| 11580228 | Coverage of web application analysis | Anastasios Antoniadis, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan | 2023-02-14 |
| 11568060 | Modular taint analysis with access paths | — | 2023-01-31 |
| 11210201 | Scalable incremental analysis using caller and callee summaries | Padmanabhan Krishnan, Rebecca Jane O'Donoghue, Yi Lu | 2021-12-28 |
| 11087003 | Scalable pre-analysis of dynamic applications | Joern Guy Suess, Rebecca Jane O'Donoghue | 2021-08-10 |
| 10824538 | Scalable incremental analysis using caller and callee summaries | Padmanabhan Krishnan, Rebecca Jane O'Donoghue, Yi Lu | 2020-11-03 |
| 10789362 | Taint analysis with access paths | Francois Gauthier, Alexander Jordan | 2020-09-29 |
| 10719425 | Happens-before-based dynamic concurrency analysis for actor-based programs | Yang Zhao, Cristina N. Cifuentes, Nathan Robert Albert Keynes | 2020-07-21 |
| 10620660 | Efficient timestamp solution for analyzing concurrent software systems | Yang Zhao, Cristina N. Cifuentes, Nathan Robert Albert Keynes | 2020-04-14 |
| 9367307 | Staged points-to analysis for large code bases | Bernhard Scholz, Padmanabhan Krishnan | 2016-06-14 |
| 9336397 | Combining type-analysis with points-to analysis for analyzing library source-code | Padmanabhan Krishnan, Bernhard Scholz | 2016-05-10 |
| 5207320 | Compartmented mixing device with bead | — | 1993-05-04 |
| 4986451 | Dispensing device for soluble or dispersible material | Christopher H. Lowe | 1991-01-22 |
| 4860929 | Dispensing device for soluble granular materials | Christopher H. Lowe | 1989-08-29 |