Searching for authors named Vineet Kahlon – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Bootstrapping: A Technique for Scalable Flow and Context-sensitive Pointer Alias Analysis
- … be supplied]. . . $5.00. Vineet Kahlon NEC Labs America, Princeton, NJ 08540, USA. vineetkahlon…
- Cited by 6 (0 self) – Add To MetaCart
-
Peephole Partial Order Reduction
- …Peephole Partial Order Reduction Chao Wang 1 , Zijiang Yang 2 , Vineet Kahlon 1 , and Aarti Gupta…
- Add To MetaCart
-
Fast and Accurate Static Data-Race Detection forConcurrent Programs
- … Fast and Accurate Static Data-Race Detection forConcurrent Programs Vineet Kahlon1, Yu Yang2…
- Add To MetaCart
-
Exact and efficient verification of parameterized cache coherence protocols
- … and Vineet Kahlon Department of Computer Sciences and Computer Engineering Research Center The University…
- Cited by 13 (0 self) – Add To MetaCart
-
Model Checking Large-Scale and Parameterized Resource Allocation Systems
- … and Vineet Kahlon Department of Computer Sciences The University of Texas at Austin, Austin TX-78712, USA…
- Cited by 5 (3 self) – Add To MetaCart
-
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols
- …Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols E. Allen Emerson and Vineet…
- Cited by 6 (2 self) – Add To MetaCart
-
An Automata-Theoretic Approach for Model Checking Threads for LTL Properties
- … An Automata-Theoretic Approach for Model CheckingThreads for LTL Properties Vineet Kahlon…
- Cited by 4 (2 self) – Add To MetaCart
-
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
- … Vineet Kahlon , Aarti Gupta , and Nishant Sinha NEC Laboratories America, Princeton, NJ 08540, USA…
- Cited by 1 (1 self) – Add To MetaCart
-
Fast and accurate static data-race detection for concurrent programs
- …Fast and Accurate Static Data-Race Detection for Concurrent Programs Vineet Kahlon , Yu Yang…
- Cited by 5 (1 self) – Add To MetaCart
-
Parameterized Model Checking of Ring-based Message Passing Systems
- …Parameterized Model Checking of Ring-based Message Passing Systems E. Allen Emerson and Vineet…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
