Inventor

BALAKRISHNAN GOGUL

US7 patents

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

SANKARANARAYANAN SRIRAM

2 patents

US8402440B2Mar 19, 2013

Program verification through symbolic enumeration of control path programs

SANKARANARAYANAN SRIRAM17 citations82

US8522226B2Aug 27, 2013

Control structure refinement of loops using static analysis

SANKARANARAYANAN SRIRAM0 citations49

NEC LAB AMERICA INC

2 patents

US8365152B2Jan 29, 2013

Path-sensitive analysis through infeasible-path detection and syntactic language refinement

NEC LAB AMERICA INC5 citations72

US8601459B2Dec 3, 2013

Control structure refinement of loops using static analysis

NEC LAB AMERICA INC1 citations51

BALAKRISHNAN GOGUL

1 patent

US8707278B2Apr 22, 2014

Embedding class hierarchy into object models for multiple class inheritance

BALAKRISHNAN GOGUL17 citations79

MAEDA NAOTO

1 patent

US8719802B2May 6, 2014

Interprocedural exception method

MAEDA NAOTO5 citations67

GHORBAL KHALIL

1 patent

US8719790B2May 6, 2014

Donut domains—efficient non-convex domains for abstract interpretation

GHORBAL KHALIL2 citations52