Inventor

LAL AKASH

IN5 patents

⚠️ This page may combine multiple inventors who share the name “LAL AKASH”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

MICROSOFT TECHNOLOGY LICENSING LLC

2 patents

US10255153B2Apr 9, 2019

Systematic testing of failover and recovery for distributed system components

MICROSOFT TECHNOLOGY LICENSING LLC7 citations82

US11016974B2May 25, 2021

Program synthesis for query optimization

MICROSOFT TECHNOLOGY LICENSING LLC0 citations44

GULWANI SUMIT

1 patent

US8316345B2Nov 20, 2012

Program abstraction based on program control

GULWANI SUMIT13 citations82

MICROSOFT CORP

1 patent

US9015674B2Apr 21, 2015

Identifying execution paths that satisfy reachability queries

MICROSOFT CORP5 citations70

JOSHI SAURABH

1 patent

US8793664B2Jul 29, 2014

Reducing false alarms for static analysis of concurrent programs

JOSHI SAURABH5 citations60