Patent | Date |
---|
Mechanism for providing external access to a secured networked virtualization environment Grant 11,310,286 - Cui , et al. April 19, 2 | 2022-04-19 |
Mechanism For Providing External Access To A Secured Networked Virtualization Environment App 20200177639 - CUI; Miao ;   et al. | 2020-06-04 |
Mechanism for providing external access to a secured networked virtualization environment Grant 10,542,049 - Cui , et al. Ja | 2020-01-21 |
Mechanism For Providing External Access To A Secured Networked Virtualization Environment App 20150326531 - CUI; Miao ;   et al. | 2015-11-12 |
Probabilistic model checking of systems with ranged probabilities Grant 8,799,194 - Duggirala , et al. August 5, 2 | 2014-08-05 |
Universal causality graphs for bug detection in concurrent programs Grant 8,769,499 - Kahlon , et al. July 1, 2 | 2014-07-01 |
Layered Decomposition For Scalable Static Data Race Detection Of Concurrent Programs App 20140019946 - Papakonstantinou; Kostoula ;   et al. | 2014-01-16 |
Lock removal for concurrent programs Grant 8,612,940 - Kahlon , et al. December 17, 2 | 2013-12-17 |
Concurrent Test Generation Using Concolic Multi-trace Analysis App 20130332906 - Razavi; Niloofar ;   et al. | 2013-12-12 |
System and method for verification of programs using threads having bounded lock chains Grant 8,543,985 - Kahlon September 24, 2 | 2013-09-24 |
Fast and accurate data race detection for concurrent programs with asynchronous calls Grant 8,539,450 - Kahlon , et al. September 17, 2 | 2013-09-17 |
System and method for generating error traces for concurrency bugs Grant 8,527,976 - Kahlon , et al. September 3, 2 | 2013-09-03 |
Probabilistic Model Checking Of Systems With Ranged Probabilities App 20130091080 - Duggirala; Parasara Sridhar ;   et al. | 2013-04-11 |
System and method for monotonic partial order reduction Grant 8,381,226 - Kahlon , et al. February 19, 2 | 2013-02-19 |
Inter-procedural dataflow analysis of parameterized concurrent software Grant 8,380,483 - Kahlon February 19, 2 | 2013-02-19 |
Computer Implemented Method for Precise May-Happen-in-Parallel Analysis with Applications to Dataflow Analysis of Concurrent Programs App 20120290883 - Kahlon; Vineet | 2012-11-15 |
Accelerating model checking via synchrony Grant 8,286,137 - Kahlon , et al. October 9, 2 | 2012-10-09 |
Model checking of multi threaded software Grant 8,266,600 - Kahlon , et al. September 11, 2 | 2012-09-11 |
Dynamic Test Generation For Concurrent Programs App 20120179935 - WANG; Chao ;   et al. | 2012-07-12 |
Fast and accurate static data-race detection for concurrent programs Grant 8,185,875 - Kahlon , et al. May 22, 2 | 2012-05-22 |
Partial order reduction using guarded independence relations Grant 8,176,496 - Wang , et al. May 8, 2 | 2012-05-08 |
Computer Implemented Automatic Lock Insertion in Concurrent Programs App 20120079483 - Kahlon; Vineet | 2012-03-29 |
System and method for scalable flow and context-sensitive pointer alias analysis Grant 8,141,049 - Kahlon March 20, 2 | 2012-03-20 |
Using pushdown systems for the static analysis of multi-threaded programs Grant 8,136,098 - Kahlon , et al. March 13, 2 | 2012-03-13 |
Lock Removal For Concurrent Programs App 20110276969 - KAHLON; VINEET ;   et al. | 2011-11-10 |
Universal Causality Graphs For Bug Detection In Concurrent Programs App 20110167412 - Kahlon; Vineet ;   et al. | 2011-07-07 |
System And Method For Verification Of Programs Using Threads Having Bounded Lock Chains App 20110010693 - Kahlon; Vineet | 2011-01-13 |
Fast And Accurate Data Race Detection For Concurrent Programs With Asynchronous Calls App 20100235817 - KAHLON; VINEET ;   et al. | 2010-09-16 |
Verification of concurrent programs having parameterized qualities Grant 7,783,470 - Kahlon August 24, 2 | 2010-08-24 |
Method for the static analysis of concurrent multi-threaded software Grant 7,784,035 - Kahlon , et al. August 24, 2 | 2010-08-24 |
Alias Analysis For Concurrent Software Programs App 20100070955 - Kahlon; Vineet | 2010-03-18 |
System And Method For Monotonic Partial Order Reduction App 20090204968 - Kahlon; Vineet ;   et al. | 2009-08-13 |
Decidability Of Reachability For Threads Communicating Via Locks App 20090193416 - Kahlon; Vineet | 2009-07-30 |
Tractable Dataflow Analysis For Concurrent Programs Via Bounded Languages App 20090193417 - Kahlon; Vineet | 2009-07-30 |
System And Method For Generating Error Traces For Concurrency Bugs App 20090125887 - Kahlon; Vineet ;   et al. | 2009-05-14 |
Partial Order Reduction Using Guarded Independence Relations App 20090089783 - Wang; Chao ;   et al. | 2009-04-02 |
Accelerating Model Checking Via Synchrony App 20080282221 - KAHLON; VINEET ;   et al. | 2008-11-13 |
System And Method For Scalable Flow And Context-sensitive Pointer Alias Analysis App 20080229286 - Kahlon; Vineet | 2008-09-18 |
Fast And Accurate Static Data-race Detection For Concurrent Programs App 20080178156 - Kahlon; Vineet ;   et al. | 2008-07-24 |
Inter-procedural Dataflow Analysis Of Parameterized Concurrent Software App 20080086723 - Kahlon; Vineet | 2008-04-10 |
Model Checking Parameterized Threads For Safety App 20080086296 - Kahlon; Vineet | 2008-04-10 |
Using Pushdown Systems For The Static Analysis Of Multi-threaded Programs App 20080086722 - KAHLON; Vineet ;   et al. | 2008-04-10 |
Symbolic Model Checking Of Concurrent Programs Using Partial Orders And On-the-fly Transactions App 20070143742 - KAHLON; Vineet ;   et al. | 2007-06-21 |
Method for the static analysis of concurrent multi-threaded software App 20070011671 - Kahlon; Vineet ;   et al. | 2007-01-11 |
Model Checking of Multi Threaded Software App 20060218534 - Kahlon; Vineet ;   et al. | 2006-09-28 |