Membership
Tour
Register
Log in
Chao Wang
Follow
Person
Plainsboro, NJ, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Universal causality graphs for bug detection in concurrent programs
Patent number
8,769,499
Issue date
Jul 1, 2014
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Lock removal for concurrent programs
Patent number
8,612,940
Issue date
Dec 17, 2013
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for concurrency analysis
Patent number
8,595,708
Issue date
Nov 26, 2013
NEC Laboratories America, Inc.
Nishant Sinha
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for model checking by interleaving stateless and...
Patent number
8,589,126
Issue date
Nov 19, 2013
NEC Laboratories America, Inc.
Malay K. Ganai
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Precise thread-modular summarization of concurrent programs
Patent number
8,561,029
Issue date
Oct 15, 2013
NEC Laboratories America, Inc.
Nishant Sinha
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
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
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
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
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
Disjunctive image computation for sequential systems
Patent number
7,693,690
Issue date
Apr 6, 2010
NEC Laboratories America, Inc.
Chao Wang
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
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
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
SYSTEMS AND METHODS FOR CONCURRENCY ANALYSIS
Publication number
20120011492
Publication date
Jan 12, 2012
NEC Laboratories America, Inc.
Nishant Sinha
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
LOCK REMOVAL FOR CONCURRENT PROGRAMS
Publication number
20110276969
Publication date
Nov 10, 2011
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
INTERVAL ANALYSIS OF CONCURRENT TRACE PROGRAMS USING TRANSACTION SE...
Publication number
20110246970
Publication date
Oct 6, 2011
NEC Laboratories America, Inc.
Malay GANAI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
UNIVERSAL CAUSALITY GRAPHS FOR BUG DETECTION IN CONCURRENT PROGRAMS
Publication number
20110167412
Publication date
Jul 7, 2011
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PRECISE THREAD-MODULAR SUMMARIZATION OF CONCURRENT PROGRAMS
Publication number
20110078511
Publication date
Mar 31, 2011
NEC Laboratories America, Inc.
Nishant Sinha
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM AND METHOD FOR MODEL CHECKING BY INTERLEAVING STATELESS AND...
Publication number
20100305919
Publication date
Dec 2, 2010
NEC Laboratories America, Inc.
MALAY K. GANAI
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
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
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
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
Information
Patent Application
HYBRID COUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT
Publication number
20090007038
Publication date
Jan 1, 2009
NEC Laboratories America, Inc.
Chao Wang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
REACHABILITY ANALYSIS FOR PROGRAM VERIFICATION
Publication number
20080016497
Publication date
Jan 17, 2008
NEC LABORATORIES AMERICA
Chao WANG
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Disjunctive image computation for sequential systems
Publication number
20070044084
Publication date
Feb 22, 2007
NEC Laboratories America, Inc.
Chao Wang
G06 - COMPUTING CALCULATING COUNTING