Inventor

HANGAL SUDHEENDRA G

IN3 patents

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

ORACLE AMERICA INC

2 patents

US7814378B2Oct 12, 2010

Verification of memory consistency and transactional memory

ORACLE AMERICA INC73 citations94

US7779393B1Aug 17, 2010

System and method for efficient verification of memory consistency model compliance

ORACLE AMERICA INC20 citations82

SUN MICROSYSTEMS INC

1 patent

US7689399B1Mar 30, 2010

Automatic extraction of design properties

SUN MICROSYSTEMS INC6 citations60