loadpatents
Patent applications and USPTO patent grants for Lal; Akash.The latest application filed is for "program synthesis for query optimization".
Patent | Date |
---|---|
Program synthesis for query optimization Grant 11,016,974 - Rajan , et al. May 25, 2 | 2021-05-25 |
Program Synthesis For Query Optimization App 20190197161 - Rajan; Kaushik ;   et al. | 2019-06-27 |
Systematic testing of failover and recovery for distributed system components Grant 10,255,153 - Ganapathy , et al. | 2019-04-09 |
Systematic Testing Of Failover And Recovery For Distributed System Components App 20180113775 - GANAPATHY; NARAYANAN ;   et al. | 2018-04-26 |
Identifying execution paths that satisfy reachability queries Grant 9,015,674 - DeLine , et al. April 21, 2 | 2015-04-21 |
Reducing false alarms for static analysis of concurrent programs Grant 8,793,664 - Joshi , et al. July 29, 2 | 2014-07-29 |
Identifying Execution Paths That Satisfy Reachability Queries App 20140096112 - DeLine; Robert ;   et al. | 2014-04-03 |
Reducing False Alarms For Static Analysis Of Concurrent Programs App 20130152055 - Joshi; Saurabh ;   et al. | 2013-06-13 |
Probabilistic Model Approximation For Statistical Relational Learning App 20130144812 - Chaganty; Arun Tejasvi ;   et al. | 2013-06-06 |
Program abstraction based on program control Grant 8,316,345 - Gulwani , et al. November 20, 2 | 2012-11-20 |
Program Abstraction Based On Program Control App 20080301655 - Gulwani; Sumit ;   et al. | 2008-12-04 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.