Akash Lal

Follow

Person

Bangalore, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Program synthesis for query optimization
- Patent number 11,016,974
- Issue date May 25, 2021
- Microsoft Technology Licensing, LLC
- Kaushik Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systematic testing of failover and recovery for distributed system...
- Patent number 10,255,153
- Issue date Apr 9, 2019
- Narayanan Ganapathy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying execution paths that satisfy reachability queries
- Patent number 9,015,674
- Issue date Apr 21, 2015
- Microsoft Technology Licensing, LLC
- Robert DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing false alarms for static analysis of concurrent programs
- Patent number 8,793,664
- Issue date Jul 29, 2014
- Microsoft Corporation
- Saurabh Joshi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROGRAM SYNTHESIS FOR QUERY OPTIMIZATION
- Publication number 20190197161
- Publication date Jun 27, 2019
- Microsoft Technology Licensing, LLC
- Kaushik Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMATIC TESTING OF FAILOVER AND RECOVERY FOR DISTRIBUTED SYSTEM...
- Publication number 20180113775
- Publication date Apr 26, 2018
- Microsoft Technology Licensing, LLC
- NARAYANAN GANAPATHY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING EXECUTION PATHS THAT SATISFY REACHABILITY QUERIES
- Publication number 20140096112
- Publication date Apr 3, 2014
- Microsoft Corporation
- Robert DeLine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCING FALSE ALARMS FOR STATIC ANALYSIS OF CONCURRENT PROGRAMS
- Publication number 20130152055
- Publication date Jun 13, 2013
- Microsoft Corporation
- Saurabh Joshi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROBABILISTIC MODEL APPROXIMATION FOR STATISTICAL RELATIONAL LEARNING
- Publication number 20130144812
- Publication date Jun 6, 2013
- Microsoft Corporation
- Arun Tejasvi Chaganty
- G06 - COMPUTING CALCULATING COUNTING