Vineet Kahlon

	2009
17		Vineet Kahlon, Chao Wang, Aarti Gupta: Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. CAV 2009: 398-413
16		Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang: Static data race detection for concurrent programs with asynchronous calls. ESEC/SIGSOFT FSE 2009: 13-22
15		Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta: Semantic Reduction of Thread Interleavings in Concurrent Programs. TACAS 2009: 124-138
	2008
14		Vineet Kahlon: Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs. LICS 2008: 181-192
13		Vineet Kahlon: Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. PLDI 2008: 249-259
12		Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta: Peephole Partial Order Reduction. TACAS 2008: 382-396
	2007
11		Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta: Fast and Accurate Static Data-Race Detection for Concurrent Programs. CAV 2007: 226-239
10		Vineet Kahlon, Aarti Gupta: On the analysis of interacting pushdown systems. POPL 2007: 303-314
	2006
9		Vineet Kahlon, Aarti Gupta, Nishant Sinha: Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. CAV 2006: 286-299
8		Vineet Kahlon, Aarti Gupta: An Automata-Theoretic Approach for Model Checking Threads for LTL Propert. LICS 2006: 101-110
	2005
7		Vineet Kahlon, Franjo Ivancic, Aarti Gupta: Reasoning About Threads Communicating via Locks. CAV 2005: 505-518
	2004
6		E. Allen Emerson, Vineet Kahlon: Parameterized Model Checking of Ring-Based Message Passing Systems. CSL 2004: 325-339
	2003
5		E. Allen Emerson, Vineet Kahlon: Exact and Efficient Verification of Parameterized Cache Coherence Protocols. CHARME 2003: 247-262
4		E. Allen Emerson, Vineet Kahlon: Model Checking Guarded Protocols. LICS 2003: 361-370
3		E. Allen Emerson, Vineet Kahlon: Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. TACAS 2003: 144-159
	2002
2		E. Allen Emerson, Vineet Kahlon: Model Checking Large-Scale and Parameterized Resource Allocation Systems. TACAS 2002: 251-265
	2000
1		E. Allen Emerson, Vineet Kahlon: Reducing Model Checking of the Many to the Few. CADE 2000: 236-254

Coauthor Index

1	E. Allen Emerson	[1] [2] [3] [4] [5] [6]
2	Aarti Gupta	[7] [8] [9] [10] [11] [12] [15] [17]
3	Franjo Ivancic	[7]
4	Erik Kruus	[16]
5	Sriram Sankaranarayanan	[11] [15]
6	Nishant Sinha	[9] [16]
7	Chao Wang	[12] [17]
8	Yu Yang	[11]
9	Zijiang Yang	[12]
10	Yun Zhang	[16]

Colors in the list of coauthors