Membership
Tour
Register
Log in
Nishant SINHA
Follow
Person
PITTSBURGH, PA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
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
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
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
Fast and accurate data race detection for concurrent programs with...
Patent number
8,539,450
Issue date
Sep 17, 2013
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Modular bug detection with inertial refinement
Patent number
8,336,034
Issue date
Dec 18, 2012
NEC Laboratories America, Inc.
Nishant Sinha
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Symbolic program analysis using term rewriting and generalization
Patent number
8,131,768
Issue date
Mar 6, 2012
NEC Laboratories America, Inc.
Nishant Sinha
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
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 CONCURRENCY ANALYSIS
Publication number
20120011492
Publication date
Jan 12, 2012
NEC Laboratories America, Inc.
Nishant Sinha
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
Modular Bug Detection with Inertial Refinement
Publication number
20100281306
Publication date
Nov 4, 2010
NEC Laboratories America, Inc.
Nishant Sinha
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
FAST AND ACCURATE DATA RACE DETECTION FOR CONCURRENT PROGRAMS WITH...
Publication number
20100235817
Publication date
Sep 16, 2010
NEC Laboratories America, Inc.
VINEET KAHLON
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYMBOLIC PROGRAM ANALYSIS USING TERM REWRITING AND GENERALIZATION
Publication number
20090281999
Publication date
Nov 12, 2009
NEC Laboratories America, Inc.
Nishant Sinha
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYMBOLIC MODEL CHECKING OF CONCURRENT PROGRAMS USING PARTIAL ORDERS...
Publication number
20070143742
Publication date
Jun 21, 2007
NEC LABORATORIES AMERICA
Vineet KAHLON
G06 - COMPUTING CALCULATING COUNTING