Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11016974 | Program synthesis for query optimization | Kaushik Rajan, Matthias Schlaipfer | 2021-05-25 |
| 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 |
| 8793664 | Reducing false alarms for static analysis of concurrent programs | Saurabh Bhanuprasad Joshi, Shuvendu K. Lahiri | 2014-07-29 |
| 8316345 | Program abstraction based on program control | Sumit Gulwani | 2012-11-20 |