Aarti Gupta

Person

Princeton, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Probabilistic model checking of systems with ranged probabilities
- Patent number 8,799,194
- Issue date Aug 5, 2014
- NEC Laboratories America, Inc.
- Parasara Sridhar Duggirala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scope bounding with automated specification inference for scalable...
- Patent number 8,719,793
- Issue date May 6, 2014
- NEC Laboratories America, Inc.
- Naoto Maeda
- 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
Systems and methods for model checking the precision of programs em...
- Patent number 8,539,451
- Issue date Sep 17, 2013
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrating interval constraint propagation with nonlinear real ari...
- Patent number 8,538,900
- Issue date Sep 17, 2013
- NEC Laboratories America, Inc.
- Malay K. Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating error traces for concurrency bugs
- Patent number 8,527,976
- Issue date Sep 3, 2013
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
System and method for monotonic partial order reduction
- Patent number 8,381,226
- Issue date Feb 19, 2013
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for feedback-guided test generation for cyber-phy...
- Patent number 8,374,840
- Issue date Feb 12, 2013
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G01 - MEASURING TESTING
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
Information Patent Grant
Symbolic reduction of dynamic executions of concurrent programs
- Patent number 8,359,578
- Issue date Jan 22, 2013
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accelerating model checking via synchrony
- Patent number 8,286,137
- Issue date Oct 9, 2012
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model checking of multi threaded software
- Patent number 8,266,600
- Issue date Sep 11, 2012
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic model checking with property driven pruning to detect race...
- Patent number 8,200,474
- Issue date Jun 12, 2012
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mining library specifications using inductive learning
- Patent number 8,191,045
- Issue date May 29, 2012
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fast and accurate static data-race detection for concurrent programs
- Patent number 8,185,875
- Issue date May 22, 2012
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partial order reduction using guarded independence relations
- Patent number 8,176,496
- Issue date May 8, 2012
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using pushdown systems for the static analysis of multi-threaded pr...
- Patent number 8,136,098
- Issue date Mar 13, 2012
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification using range analysis
- Patent number 8,131,532
- Issue date Mar 6, 2012
- NEC Laboratories America, Inc.
- Srihari Cadambi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for dynamically inferring data preconditions over...
- Patent number 8,126,831
- Issue date Feb 28, 2012
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program analysis using symbolic ranges
- Patent number 8,006,239
- Issue date Aug 23, 2011
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Modeling and verification of concurrent systems using SMT-based BMC
- Patent number 8,005,661
- Issue date Aug 23, 2011
- NEC Laboratories America, Inc.
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification
- Patent number 7,930,659
- Issue date Apr 19, 2011
- NEC Laboratories America, Inc.
- Franjo Ivancic
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reachability analysis for program verification
- Patent number 7,926,039
- Issue date Apr 12, 2011
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accelerating high-level bounded model checking
- Patent number 7,853,906
- Issue date Dec 14, 2010
- NEC Laboratories America, Inc.
- Malay Ganai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for the static analysis of concurrent multi-threaded software
- Patent number 7,784,035
- Issue date Aug 24, 2010
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer implemented method of high-level synthesis for the efficie...
- Patent number 7,743,352
- Issue date Jun 22, 2010
- NEC Laboratories America, Inc.
- Malay Ganai
- 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
Dynamic Taint Analysis of Multi-Threaded Programs
- Publication number 20140108867
- Publication date Apr 17, 2014
- NEC Laboratories America, Inc.
- Malay Ganai
- 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
CONCURRENT TEST GENERATION USING CONCOLIC MULTI-TRACE ANALYSIS
- Publication number 20130332906
- Publication date Dec 12, 2013
- Niloofar Razavi
- 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
PROBABILISTIC MODEL CHECKING OF SYSTEMS WITH RANGED PROBABILITIES
- Publication number 20130091080
- Publication date Apr 11, 2013
- NEC Laboratories America, Inc.
- Parasara Sridhar Duggirala
- 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
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
DYNAMIC TEST GENERATION FOR CONCURRENT PROGRAMS
- Publication number 20120179935
- Publication date Jul 12, 2012
- NEC Laboratories America, Inc.
- Chao WANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scope Bounding with Automated Specification Inference for Scalable...
- Publication number 20120151449
- Publication date Jun 14, 2012
- NEC Laboratories America, Inc.
- Naoto Maeda
- 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
SYSTEMS AND METHODS FOR AUTOMATED SYSTEMATIC CONCURRENCY TESTING
- Publication number 20120089873
- Publication date Apr 12, 2012
- NEC Laboratories America, Inc.
- Chao Wang
- 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
INTEGRATING INTERVAL CONSTRAINT PROPAGATION WITH NONLINEAR REAL AR...
- Publication number 20110173148
- Publication date Jul 14, 2011
- NEC Laboratories America, Inc.
- MALAY K. GANAI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ROBUST TESTING FOR DISCRETE-TIME AND CONTINUOUS-TIME SYSTEM MODELS
- Publication number 20100299651
- Publication date Nov 25, 2010
- NEC Laboratories America, Inc.
- GEORGIOS FAINEKOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR MODEL CHECKING THE PRECISION OF PROGRAMS EM...
- Publication number 20100293530
- Publication date Nov 18, 2010
- NEC Laboratories America, Inc.
- FRANJO IVANCIC
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOLIC PREDICTIVE ANALYSIS FOR CONCURRENT PROGRAMS
- Publication number 20100281469
- Publication date Nov 4, 2010
- NEC Laboratories America, Inc.
- Chao Wang
- 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
SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHY...
- Publication number 20100094611
- Publication date Apr 15, 2010
- NEC Laboratories America, Inc.
- Sriram Sankaranarayanan
- G01 - MEASURING TESTING
Information Patent Application
SYMBOLIC REDUCTION OF DYNAMIC EXECUTIONS OF CONCURRENT PROGRAMS
- Publication number 20100088681
- Publication date Apr 8, 2010
- NEC LABORATORIES AMERICA INC
- Chao WANG
- 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
DYNAMIC MODEL CHECKING WITH PROPERTY DRIVEN PRUNING TO DETECT RACE...
- Publication number 20090282288
- Publication date Nov 12, 2009
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODULAR VERIFICATION OF WEB SERVICES USING EFFICIENT SYMBOLIC ENCOD...
- Publication number 20090222249
- Publication date Sep 3, 2009
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MONOTONIC PARTIAL ORDER REDUCTION
- Publication number 20090204968
- Publication date Aug 13, 2009
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR DYNAMICALLY INFERRING DATA PRECONDITIONS OVER...
- Publication number 20090192963
- Publication date Jul 30, 2009
- NEC Laboratories America, Inc.
- SRIRAM SANKARANARAYANAN
- 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
Information Patent Application
SYSTEM AND METHOD FOR GENERATING ERROR TRACES FOR CONCURRENCY BUGS
- Publication number 20090125887
- Publication date May 14, 2009
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTIAL ORDER REDUCTION USING GUARDED INDEPENDENCE RELATIONS
- Publication number 20090089783
- Publication date Apr 2, 2009
- NEC Laboratories America, Inc.
- Chao Wang
- G06 - COMPUTING CALCULATING COUNTING

Aarti Gupta

Person

Patents Grantslast 30 patents

Probabilistic model checking of systems with ranged probabilities

Scope bounding with automated specification inference for scalable...

Interprocedural exception method

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

Control structure refinement of loops using static analysis

Systems and methods for model checking the precision of programs em...

Integrating interval constraint propagation with nonlinear real ari...

System and method for generating error traces for concurrency bugs

Control structure refinement of loops using static analysis

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

System and method for monotonic partial order reduction

System and method for feedback-guided test generation for cyber-phy...

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

Symbolic reduction of dynamic executions of concurrent programs

Accelerating model checking via synchrony

Model checking of multi threaded software

Dynamic model checking with property driven pruning to detect race...

Mining library specifications using inductive learning

Fast and accurate static data-race detection for concurrent programs

Partial order reduction using guarded independence relations

Using pushdown systems for the static analysis of multi-threaded pr...

Software verification using range analysis

System and method for dynamically inferring data preconditions over...

Program analysis using symbolic ranges

Modeling and verification of concurrent systems using SMT-based BMC

Software verification

Reachability analysis for program verification

Accelerating high-level bounded model checking

Method for the static analysis of concurrent multi-threaded software

Computer implemented method of high-level synthesis for the efficie...

Patents Applicationslast 30 patents

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

Network Testing

Effective Lifetime Dependency Analysis and Typestate Analysis

Dynamic Taint Analysis of Multi-Threaded Programs

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

CONCURRENT TEST GENERATION USING CONCOLIC MULTI-TRACE ANALYSIS

CONTROL STRUCTURE REFINEMENT OF LOOPS USING STATIC ANALYSIS

PROBABILISTIC MODEL CHECKING OF SYSTEMS WITH RANGED PROBABILITIES

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

Analysis of Interactions of C and C++ Strings

DYNAMIC TEST GENERATION FOR CONCURRENT PROGRAMS

Scope Bounding with Automated Specification Inference for Scalable...

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

SYSTEMS AND METHODS FOR AUTOMATED SYSTEMATIC CONCURRENCY TESTING

Interprocedural Exception Method

INTEGRATING INTERVAL CONSTRAINT PROPAGATION WITH NONLINEAR REAL AR...

ROBUST TESTING FOR DISCRETE-TIME AND CONTINUOUS-TIME SYSTEM MODELS

SYSTEMS AND METHODS FOR MODEL CHECKING THE PRECISION OF PROGRAMS EM...

SYMBOLIC PREDICTIVE ANALYSIS FOR CONCURRENT PROGRAMS

CONTROL STRUCTURE REFINEMENT OF LOOPS USING STATIC ANALYSIS

SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHY...

SYMBOLIC REDUCTION OF DYNAMIC EXECUTIONS OF CONCURRENT PROGRAMS

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

DYNAMIC MODEL CHECKING WITH PROPERTY DRIVEN PRUNING TO DETECT RACE...

MODULAR VERIFICATION OF WEB SERVICES USING EFFICIENT SYMBOLIC ENCOD...

SYSTEM AND METHOD FOR MONOTONIC PARTIAL ORDER REDUCTION

SYSTEM AND METHOD FOR DYNAMICALLY INFERRING DATA PRECONDITIONS OVER...

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

SYSTEM AND METHOD FOR GENERATING ERROR TRACES FOR CONCURRENCY BUGS

PARTIAL ORDER REDUCTION USING GUARDED INDEPENDENCE RELATIONS