Inventor

MEHRA KRISHNA KUMAR

IN4 patents

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

GULWANI SUMIT

2 patents

US8266598B2Sep 11, 2012

Bounding resource consumption using abstract interpretation

GULWANI SUMIT8 citations82

US8397221B2Mar 12, 2013

Calculating resource bounds of programs manipulating recursive data structures and collections

GULWANI SUMIT4 citations60

CAPILLARY TECH INT PTE LTD

1 patent

US9633095B2Apr 25, 2017

Extract, transform and load (ETL) system and method

CAPILLARY TECH INT PTE LTD5 citations57

CHILIMBI TRISHUL

1 patent

US8065565B2Nov 22, 2011

Statistical debugging using paths and adaptive profiling

CHILIMBI TRISHUL2 citations50