Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10810071 | Systems and methods of detecting power bugs | Yu Charlie Hu, Abhilash Jindal, Abhinav Pathak | 2020-10-20 |
| 10379925 | Systems and methods of detecting power bugs | Yu Charlie Hu, Abhilash Jindal, Abhinav Pathak | 2019-08-13 |
| 9501382 | Systems and methods of detecting power bugs | Yu Charlie Hu, Abhilash Jindal, Abhinav Pathak | 2016-11-22 |
| 6973646 | Method for compiling program components in a mixed static and dynamic environment | Rajesh Bordawekar, Manish Gupta, Mauricio J. Serrano | 2005-12-06 |
| 6530079 | Method for optimizing locks in computer programs | Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar | 2003-03-04 |
| 6381738 | Method for optimizing creation and destruction of objects in computer programs | Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar | 2002-04-30 |
| 6343375 | Method for optimizing array bounds checks in programs | Manish Gupta, Jose E. Moreira | 2002-01-29 |