Inventor

KAHLON VINEET

US18 patents

⚠️ This page may combine multiple inventors who share the name “KAHLON VINEET”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

KAHLON VINEET

KAHLON VINEET

System and method for scalable flow and context-sensitive pointer alias analysis

System and method for generating error traces for concurrency bugs

Accelerating model checking via synchrony

Model checking of multi threaded software

Fast and accurate static data-race detection for concurrent programs

Fast and accurate data race detection for concurrent programs with asynchronous calls

Using pushdown systems for the static analysis of multi-threaded programs

System and method for verification of programs using threads having bounded lock chains

Lock removal for concurrent programs

Universal causality graphs for bug detection in concurrent programs

NEC LAB AMERICA INC

Method for the static analysis of concurrent multi-threaded software

System and method for monotonic partial order reduction

Verification of concurrent programs having parameterized qualities

Inter-procedural dataflow analysis of parameterized concurrent software

Probabilistic model checking of systems with ranged probabilities

NUTANIX INC

Mechanism for providing external access to a secured networked virtualization environment

Mechanism for providing external access to a secured networked virtualization environment

WANG CHAO

Partial order reduction using guarded independence relations