( en | de | ru )

 

Disambiguation of "Kahlon, Vineet"

Author of the publication

copydeleteadd this publication to your clipboard
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.

, , and . CAV, volume 5643 of Lecture Notes in Computer Science, page 398-413. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vineet Sinha

Vineet Rao

Vibhav Vineet

Vineet Singh

Vineet Gandhi

 

Other publications of authors with the same name

Lock Removal for Concurrent Trace Programs., and . CAV, volume 7358 of Lecture Notes in Computer Science, page 227-242. Springer, (2012)Reasoning About Threads Communicating via Locks., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 505-518. Springer, (2005)Model Checking C Programs Using F-SOFT., , , , , , and . ICCD, page 297-308. IEEE Computer Society, (2005)Model Checking Large-Scale and Parameterized Resource Allocation Systems., and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 251-265. Springer, (2002)Exact and Efficient Verification of Parameterized Cache Coherence Protocols., and . CHARME, volume 2860 of Lecture Notes in Computer Science, page 247-262. Springer, (2003)Reasoning about Threads with Bounded Lock Chains.. CONCUR, volume 6901 of Lecture Notes in Computer Science, page 450-465. Springer, (2011)Semantic Reduction of Thread Interleavings in Concurrent Programs., , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 124-138. Springer, (2009)Static data race detection for concurrent programs with asynchronous calls., , , and . ESEC/SIGSOFT FSE, page 13-22. ACM, (2009)Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.. LICS, page 181-192. IEEE Computer Society, (2008)Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 144-159. Springer, (2003)