| 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 |
