Gogul Balakrishnan

Person

Plainsboro, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Donut domains—efficient non-convex domains for abstract interpretation
- Patent number 8,719,790
- Issue date May 6, 2014
- NEC Laboratories America, Inc.
- Khalil Ghorbal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interprocedural exception method
- Patent number 8,719,802
- Issue date May 6, 2014
- NEC Laboratories America, Inc.
- Naoto Maeda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Embedding class hierarchy into object models for multiple class inh...
- Patent number 8,707,278
- Issue date Apr 22, 2014
- NEC Laboratories America, Inc.
- Gogul Balakrishnan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Control structure refinement of loops using static analysis
- Patent number 8,601,459
- Issue date Dec 3, 2013
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Control structure refinement of loops using static analysis
- Patent number 8,522,226
- Issue date Aug 27, 2013
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program verification through symbolic enumeration of control path p...
- Patent number 8,402,440
- Issue date Mar 19, 2013
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Path-sensitive analysis through infeasible-path detection and synta...
- Patent number 8,365,152
- Issue date Jan 29, 2013
- NEC Laboratories America, Inc.
- Gogul Balakrishnan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Setsudo: Pertubation-based Testing Framework for Scalable Distribut...
- Publication number 20150081243
- Publication date Mar 19, 2015
- NEC Laboratories America, Inc.
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Network Testing
- Publication number 20140337674
- Publication date Nov 13, 2014
- NEC Laboratories America, Inc.
- Franjo Ivancic
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Effective Lifetime Dependency Analysis and Typestate Analysis
- Publication number 20140289712
- Publication date Sep 25, 2014
- NEC Laboratories America, Inc.
- Aarti Gupta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LAYERED DECOMPOSITION FOR SCALABLE STATIC DATA RACE DETECTION OF CO...
- Publication number 20140019946
- Publication date Jan 16, 2014
- NEC Laboratories America, Inc.
- Kostoula Papakonstantinou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTROL STRUCTURE REFINEMENT OF LOOPS USING STATIC ANALYSIS
- Publication number 20130227537
- Publication date Aug 29, 2013
- NEC Laboratories America, Inc.
- SRIRAM SANKARANARAYANAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FEEDBACK-DIRECTED RANDOM CLASS UNIT TEST GENERATION USING SYMBOLIC...
- Publication number 20130091495
- Publication date Apr 11, 2013
- NEC Laboratories America, Inc.
- Pranav Garg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DONUT DOMAINS - EFFICIENT NON-CONVEX DOMAINS FOR ABSTRACT INTERPRET...
- Publication number 20120246626
- Publication date Sep 27, 2012
- NEC Laboratories America, Inc.
- Khalil GHORBAL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Analysis of Interactions of C and C++ Strings
- Publication number 20120233584
- Publication date Sep 13, 2012
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EMBEDDING CLASS HIERARCHY INTO OBJECT MODELS FOR MULTIPLE CLASS INH...
- Publication number 20120117547
- Publication date May 10, 2012
- NEC Laboratories America, Inc.
- GOGUL BALAKRISHNAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Interprocedural Exception Method
- Publication number 20120084761
- Publication date Apr 5, 2012
- NEC Laboratories America, Inc.
- Naoto Maeda
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTROL STRUCTURE REFINEMENT OF LOOPS USING STATIC ANALYSIS
- Publication number 20100205592
- Publication date Aug 12, 2010
- NEC Laboratories America, Inc.
- SRIRAM SANKARANARAYANAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM VERIFICATION THROUGH SYMBOLIC ENUMERATION OF CONTROL PATH P...
- Publication number 20100005454
- Publication date Jan 7, 2010
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROOF-GUIDED ERROR DIAGNOSIS (PED) BY TRIANGULATION OF PROGRAM ERRO...
- Publication number 20090292941
- Publication date Nov 26, 2009
- NEC Laboratories America, Inc.
- Malay K. Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATH-SENSITIVE ANALYSIS THROUGH INFEASIBLE-PATH DETECTION AND SYNTA...
- Publication number 20090193401
- Publication date Jul 30, 2009
- NEC Laboratories America, Inc.
- Gogul Balakrishnan
- G06 - COMPUTING CALCULATING COUNTING

Gogul Balakrishnan

Person

Patents Grantslast 30 patents

Donut domains—efficient non-convex domains for abstract interpretation

Interprocedural exception method

Embedding class hierarchy into object models for multiple class inh...

Control structure refinement of loops using static analysis

Control structure refinement of loops using static analysis

Program verification through symbolic enumeration of control path p...

Path-sensitive analysis through infeasible-path detection and synta...

Patents Applicationslast 30 patents

Setsudo: Pertubation-based Testing Framework for Scalable Distribut...

Network Testing

Effective Lifetime Dependency Analysis and Typestate Analysis

LAYERED DECOMPOSITION FOR SCALABLE STATIC DATA RACE DETECTION OF CO...

CONTROL STRUCTURE REFINEMENT OF LOOPS USING STATIC ANALYSIS

FEEDBACK-DIRECTED RANDOM CLASS UNIT TEST GENERATION USING SYMBOLIC...

DONUT DOMAINS - EFFICIENT NON-CONVEX DOMAINS FOR ABSTRACT INTERPRET...

Analysis of Interactions of C and C++ Strings

EMBEDDING CLASS HIERARCHY INTO OBJECT MODELS FOR MULTIPLE CLASS INH...

Interprocedural Exception Method

CONTROL STRUCTURE REFINEMENT OF LOOPS USING STATIC ANALYSIS

PROGRAM VERIFICATION THROUGH SYMBOLIC ENUMERATION OF CONTROL PATH P...

PROOF-GUIDED ERROR DIAGNOSIS (PED) BY TRIANGULATION OF PROGRAM ERRO...

PATH-SENSITIVE ANALYSIS THROUGH INFEASIBLE-PATH DETECTION AND SYNTA...