Patents per Year
Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 11016974 | Program synthesis for query optimization | Kaushik Rajan, Matthias Schlaipfer | 2021-05-25 | $143,510,000 |
| 10255153 | Systematic testing of failover and recovery for distributed system components | Narayanan Ganapathy, Shaz Qadeer | 2019-04-09 | |
| 9015674 | Identifying execution paths that satisfy reachability queries | Robert DeLine, Mike Barnett, Shaz Qadeer | 2015-04-21 | $29,497,000 |
| 8793664 | Reducing false alarms for static analysis of concurrent programs | Saurabh Bhanuprasad Joshi, Shuvendu K. Lahiri | 2014-07-29 | $39,653,000 |
| 8316345 | Program abstraction based on program control | Sumit Gulwani | 2012-11-20 | $16,799,000 |