Vineet Kahlon

Person

Princeton, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Mechanism for providing external access to a secured networked virt...
- Patent number 11,310,286
- Issue date Apr 19, 2022
- Nutanix, Inc.
- Miao Cui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mechanism for providing external access to a secured networked virt...
- Patent number 10,542,049
- Issue date Jan 21, 2020
- Nutanix, Inc.
- Miao Cui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mechanism for providing external access to a secured networked virt...
- Patent number 10,412,119
- Issue date Sep 10, 2019
- Nutanix, Inc.
- Miao Cui
- G06 - COMPUTING CALCULATING COUNTING
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
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
System and method for verification of programs using threads having...
- Patent number 8,543,985
- Issue date Sep 24, 2013
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
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
Inter-procedural dataflow analysis of parameterized concurrent soft...
- Patent number 8,380,483
- Issue date Feb 19, 2013
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
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
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
System and method for scalable flow and context-sensitive pointer a...
- Patent number 8,141,049
- Issue date Mar 20, 2012
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
Verification of concurrent programs having parameterized qualities
- Patent number 7,783,470
- Issue date Aug 24, 2010
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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

Patents Applicationslast 30 patents

Information Patent Application
MECHANISM FOR PROVIDING EXTERNAL ACCESS TO A SECURED NETWORKED VIRT...
- Publication number 20200177639
- Publication date Jun 4, 2020
- NUTANIX, INC.
- Miao CUI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MECHANISM FOR PROVIDING EXTERNAL ACCESS TO A SECURED NETWORKED VIRT...
- Publication number 20150326531
- Publication date Nov 12, 2015
- NUTANIX, INC.
- Miao CUI
- 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
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
Computer Implemented Method for Precise May-Happen-in-Parallel Anal...
- Publication number 20120290883
- Publication date Nov 15, 2012
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
Computer Implemented Automatic Lock Insertion in Concurrent Programs
- Publication number 20120079483
- Publication date Mar 29, 2012
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
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
SYSTEM AND METHOD FOR VERIFICATION OF PROGRAMS USING THREADS HAVING...
- Publication number 20110010693
- Publication date Jan 13, 2011
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
ALIAS ANALYSIS FOR CONCURRENT SOFTWARE PROGRAMS
- Publication number 20100070955
- Publication date Mar 18, 2010
- NEC LABORATORIES AMERICA
- Vineet Kahlon
- 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
DECIDABILITY OF REACHABILITY FOR THREADS COMMUNICATING VIA LOCKS
- Publication number 20090193416
- Publication date Jul 30, 2009
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRACTABLE DATAFLOW ANALYSIS FOR CONCURRENT PROGRAMS VIA BOUNDED LAN...
- Publication number 20090193417
- Publication date Jul 30, 2009
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
Information Patent Application
ACCELERATING MODEL CHECKING VIA SYNCHRONY
- Publication number 20080282221
- Publication date Nov 13, 2008
- NEC Laboratories America, Inc.
- VINEET KAHLON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SCALABLE FLOW AND CONTEXT-SENSITIVE POINTER A...
- Publication number 20080229286
- Publication date Sep 18, 2008
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS
- Publication number 20080178156
- Publication date Jul 24, 2008
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTER-PROCEDURAL DATAFLOW ANALYSIS OF PARAMETERIZED CONCURRENT SOFT...
- Publication number 20080086723
- Publication date Apr 10, 2008
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING PUSHDOWN SYSTEMS FOR THE STATIC ANALYSIS OF MULTI-THREADED PR...
- Publication number 20080086722
- Publication date Apr 10, 2008
- NEC LABORATORIES AMERICA
- Vineet KAHLON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL CHECKING PARAMETERIZED THREADS FOR SAFETY
- Publication number 20080086296
- Publication date Apr 10, 2008
- NEC Laboratories America, Inc.
- Vineet Kahlon
- 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
Information Patent Application
Method for the static analysis of concurrent multi-threaded software
- Publication number 20070011671
- Publication date Jan 11, 2007
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Model Checking of Multi Threaded Software
- Publication number 20060218534
- Publication date Sep 28, 2006
- NEC Laboratories America, Inc.
- Vineet Kahlon
- G06 - COMPUTING CALCULATING COUNTING

Vineet Kahlon

Person

Patents Grantslast 30 patents

Mechanism for providing external access to a secured networked virt...

Mechanism for providing external access to a secured networked virt...

Mechanism for providing external access to a secured networked virt...

Probabilistic model checking of systems with ranged probabilities

Universal causality graphs for bug detection in concurrent programs

Lock removal for concurrent programs

System and method for verification of programs using threads having...

Fast and accurate data race detection for concurrent programs with...

System and method for generating error traces for concurrency bugs

Inter-procedural dataflow analysis of parameterized concurrent soft...

System and method for monotonic partial order reduction

Accelerating model checking via synchrony

Model checking of multi threaded software

Fast and accurate static data-race detection for concurrent programs

Partial order reduction using guarded independence relations

System and method for scalable flow and context-sensitive pointer a...

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

Verification of concurrent programs having parameterized qualities

Method for the static analysis of concurrent multi-threaded software

Patents Applicationslast 30 patents

MECHANISM FOR PROVIDING EXTERNAL ACCESS TO A SECURED NETWORKED VIRT...

MECHANISM FOR PROVIDING EXTERNAL ACCESS TO A SECURED NETWORKED VIRT...

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

CONCURRENT TEST GENERATION USING CONCOLIC MULTI-TRACE ANALYSIS

PROBABILISTIC MODEL CHECKING OF SYSTEMS WITH RANGED PROBABILITIES

Computer Implemented Method for Precise May-Happen-in-Parallel Anal...

DYNAMIC TEST GENERATION FOR CONCURRENT PROGRAMS

Computer Implemented Automatic Lock Insertion in Concurrent Programs

LOCK REMOVAL FOR CONCURRENT PROGRAMS

UNIVERSAL CAUSALITY GRAPHS FOR BUG DETECTION IN CONCURRENT PROGRAMS

SYSTEM AND METHOD FOR VERIFICATION OF PROGRAMS USING THREADS HAVING...

FAST AND ACCURATE DATA RACE DETECTION FOR CONCURRENT PROGRAMS WITH...

ALIAS ANALYSIS FOR CONCURRENT SOFTWARE PROGRAMS

SYSTEM AND METHOD FOR MONOTONIC PARTIAL ORDER REDUCTION

DECIDABILITY OF REACHABILITY FOR THREADS COMMUNICATING VIA LOCKS

TRACTABLE DATAFLOW ANALYSIS FOR CONCURRENT PROGRAMS VIA BOUNDED LAN...

SYSTEM AND METHOD FOR GENERATING ERROR TRACES FOR CONCURRENCY BUGS

PARTIAL ORDER REDUCTION USING GUARDED INDEPENDENCE RELATIONS

ACCELERATING MODEL CHECKING VIA SYNCHRONY

SYSTEM AND METHOD FOR SCALABLE FLOW AND CONTEXT-SENSITIVE POINTER A...

FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS

INTER-PROCEDURAL DATAFLOW ANALYSIS OF PARAMETERIZED CONCURRENT SOFT...

USING PUSHDOWN SYSTEMS FOR THE STATIC ANALYSIS OF MULTI-THREADED PR...

MODEL CHECKING PARAMETERIZED THREADS FOR SAFETY

SYMBOLIC MODEL CHECKING OF CONCURRENT PROGRAMS USING PARTIAL ORDERS...

Method for the static analysis of concurrent multi-threaded software

Model Checking of Multi Threaded Software