Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |