Hua Xiao

Follow

Person

Markman, CA

People

Patents Grantslast 30 patents

Information Patent Grant
Static analysis based on abstract program representations
- Patent number 10,482,262
- Issue date Nov 19, 2019
- International Business Machines Corporation
- Babita Sharma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static analysis based on abstract program representations
- Patent number 9,785,777
- Issue date Oct 10, 2017
- International Business Machines Corporation
- Babita Sharma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Prioritizing security findings in a SAST tool based on historical s...
- Patent number 9,544,327
- Issue date Jan 10, 2017
- International Business Machines Corporation
- Babita Sharma
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
PREDICTING AVAILABILITIES OF ITEMS AT LOCATIONS BASED ON AVAILABILI...
- Publication number 20250191053
- Publication date Jun 12, 2025
- Maplebear Inc.
- Brent Scheibelhut
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRAINED COMPUTER MODEL FOR IDENTIFICATION OF WRONG DELIVERY LOCATIO...
- Publication number 20250148412
- Publication date May 8, 2025
- Maplebear Inc.
- Charles Wesley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPUTING ITEM FINDABILITY THROUGH A FINDABILITY MACHINE-LEARNING M...
- Publication number 20240428125
- Publication date Dec 26, 2024
- Maplebear Inc. (dba Instacart)
- Amalia Rothschild-Keita
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Static analysis based on abstract program representations
- Publication number 20180032737
- Publication date Feb 1, 2018
- International Business Machines Corporation
- Babita Sharma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Static analysis based on abstract program representations
- Publication number 20160180096
- Publication date Jun 23, 2016
- International Business Machines Corporation
- Babita Sharma
- G06 - COMPUTING CALCULATING COUNTING