Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10911344 | Dynamic client logging and reporting | Aditya R. Ganjam, Ningning Hu, Asad K. Awan, Ion Stoica | 2021-02-02 |
| 10009241 | Monitoring the performance of a content player | Aditya R. Ganjam, Ryan J. Huebsch, Karthik Lakshminarayanan, Ion Stoica, Hui Zhang +1 more | 2018-06-26 |
| 10009242 | Augmenting the functionality of a content player | Aditya R. Ganjam, Ningning Hu | 2018-06-26 |
| 9819566 | Dynamic client logging and reporting | Aditya R. Ganjam, Ningning Hu, Asad K. Awan, Ion Stoica | 2017-11-14 |
| 9100288 | Augmenting the functionality of a content player | Aditya R. Ganjam, Ningning Hu | 2015-08-04 |
| 8874725 | Monitoring the performance of a content player | Aditya R. Ganjam, Ryan J. Huebsch, Karthik Lakshminarayanan, Ion Stoica, Hui Zhang +1 more | 2014-10-28 |
| 7730455 | Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints | Ajay Chander, Nayeem Islam, David Espinosa, Peter Lee | 2010-06-01 |
| 7574695 | Performing checks on the resource usage of computer programs | Ajay Chander, Nayeem Islam, David Espinosa, Peter Lee | 2009-08-11 |
| 6128774 | Safe to execute verification of software | Peter Lee | 2000-10-03 |