Issued Patents 2020
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10824538 | Scalable incremental analysis using caller and callee summaries | Rebecca Jane O'Donoghue, Nicholas John Allen, Yi Lu | 2020-11-03 |
| 10754698 | Network-aware workload placement in a data center | Rajesh Babu Nataraja, Shyam Kapadia, Nader Lahouti, Viral Rajeshbhai Barot, Jay Ajaykumar Gheewala | 2020-08-25 |
| 10719424 | Compositional string analysis | Raghavendra Kagalavadi Ramesh, Yang Zhao | 2020-07-21 |
| 10705949 | Evaluation of library test suites using mutation testing | Rebecca Jane O'Donoghue, Jerome Loh | 2020-07-07 |
| 10552408 | Automatic linearizability checking of operations on concurrent data structures | Patrick James Doolan, Chenyi Zhang, Graeme Paul Smith | 2020-02-04 |
| 10540255 | Staged refinement for static analysis | Raghavendra Kagalavadi Ramesh, Francois Gauthier | 2020-01-21 |
| 10528344 | Modular points-to analysis | Johannes Späth, Francois Gauthier | 2020-01-07 |