Inventor · disambiguated record
Vineet Kahlon
Also filed as: KAHLON VINEET
18 granted patents·9 pending applications·176 citations·filing 2005–2020
94Inventor score
Top patents by PatentIndex Score
27 records- 0197US11310286B2Mechanism for providing external access to a secured networked virtualization environmentNUTANIX INC·Filed 2020·Granted Apr 19, 2022·12 cites·30 claims
- 0293US10542049B2Mechanism for providing external access to a secured networked virtualization environmentNUTANIX INC·Filed 2015·Granted Jan 21, 2020·15 cites·37 claims
- 0389US7784035B2Method for the static analysis of concurrent multi-threaded softwareNEC LAB AMERICA INC·Filed 2005·Granted Aug 24, 2010·21 cites·10 claims
- 0488US8141049B2System and method for scalable flow and context-sensitive pointer alias analysisKAHLON VINEET·Filed 2008·Granted Mar 20, 2012·21 cites·14 claims
- 0586US8527976B2System and method for generating error traces for concurrency bugsKAHLON VINEET·Filed 2008·Granted Sep 3, 2013·23 cites·13 claims
- 0685US8286137B2Accelerating model checking via synchronyKAHLON VINEET·Filed 2008·Granted Oct 9, 2012·15 cites·4 claims
- 0784US7783470B2Verification of concurrent programs having parameterized qualitiesNEC LAB AMERICA INC·Filed 2007·Granted Aug 24, 2010·12 cites·18 claims
- 0881US8185875B2Fast and accurate static data-race detection for concurrent programsKAHLON VINEET·Filed 2007·Granted May 22, 2012·11 cites·25 claims
- 0980US8543985B2System and method for verification of programs using threads having bounded lock chainsKAHLON VINEET·Filed 2010·Granted Sep 24, 2013·6 cites·15 claims
- 1078US8539450B2Fast and accurate data race detection for concurrent programs with asynchronous callsKAHLON VINEET·Filed 2010·Granted Sep 17, 2013·7 cites·12 claims
- 1178US8381226B2System and method for monotonic partial order reductionNEC LAB AMERICA INC·Filed 2009·Granted Feb 19, 2013·8 cites·6 claims
- 1275US8266600B2Model checking of multi threaded softwareKAHLON VINEET·Filed 2006·Granted Sep 11, 2012·7 cites·17 claims
- 1373US8136098B2Using pushdown systems for the static analysis of multi-threaded programsKAHLON VINEET·Filed 2007·Granted Mar 13, 2012·6 cites·6 claims
- 1471US8612940B2Lock removal for concurrent programsKAHLON VINEET·Filed 2011·Granted Dec 17, 2013·3 cites·20 claims
- 1570US8380483B2Inter-procedural dataflow analysis of parameterized concurrent softwareNEC LAB AMERICA INC·Filed 2007·Granted Feb 19, 2013·4 cites·12 claims
- 1661US8769499B2Universal causality graphs for bug detection in concurrent programsKAHLON VINEET·Filed 2010·Granted Jul 1, 2014·1 cites·11 claims
- 1761US8176496B2Partial order reduction using guarded independence relationsWANG CHAO·Filed 2008·Granted May 8, 2012·3 cites·16 claims
- 1853US2009193416A1Decidability of reachability for threads communicating via locksNEC LAB AMERICA INC·Filed 2009·Application pending·0 cites
- 1953US2009193417A1Tractable dataflow analysis for concurrent programs via bounded languagesNEC LAB AMERICA INC·Filed 2009·Application pending·0 cites
- 2050US8799194B2Probabilistic model checking of systems with ranged probabilitiesNEC LAB AMERICA INC·Filed 2012·Granted Aug 5, 2014·1 cites·10 claims
- 2148US2010070955A1Alias analysis for concurrent software programsNEC LAB AMERICA·Filed 2009·Application pending·0 cites
- 2245US2007143742A1Symbolic model checking of concurrent programs using partial orders and on-the-fly transactionsNEC LAB AMERICA·Filed 2006·Application pending·0 cites
- 2344US2014019946A1Layered decomposition for scalable static data race detection of concurrent programsNEC LAB AMERICA INC·Filed 2013·Application pending·0 cites
- 2442US2012179935A1Dynamic test generation for concurrent programsWANG CHAO·Filed 2012·Application pending·0 cites
- 2542US2013332906A1Concurrent test generation using concolic multi-trace analysisRAZAVI NILOOFAR·Filed 2013·Application pending·0 cites
- 2641US2012290883A1Computer Implemented Method for Precise May-Happen-in-Parallel Analysis with Applications to Dataflow Analysis of Concurrent ProgramsKAHLON VINEET·Filed 2011·Application pending·0 cites
- 2741US2012079483A1Computer Implemented Automatic Lock Insertion in Concurrent ProgramsKAHLON VINEET·Filed 2011·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Vineet Kahlon files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →