Vineet Kahlon

	2012
22		Vineet Kahlon: Schedule Insensitivity Reduction. FASE 2012: 99-114
	2011
21		Vineet Kahlon: Reasoning about Threads with Bounded Lock Chains. CONCUR 2011: 450-465
	2010
20		Vineet Kahlon, Chao Wang: Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. CAV 2010: 434-449
19		Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang: Scalable and precise program analysis at NEC. FMCAD 2010: 273-274
	2009
18		Vineet Kahlon, Chao Wang, Aarti Gupta: Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. CAV 2009: 398-413
17		Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang: Static data race detection for concurrent programs with asynchronous calls. ESEC/SIGSOFT FSE 2009: 13-22
16		Vineet Kahlon: Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks. LICS 2009: 27-36
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	Gogul Balakrishnan	[19]
2	E. Allen Emerson	[1] [2] [3] [4] [5] [6]
3	Malay K. Ganai	[19]
4	Aarti Gupta	[7] [8] [9] [10] [11] [12] [15] [18] [19]
5	Franjo Ivancic	[7] [19]
6	Erik Kruus	[17]
7	Weihong Li	[19]
8	Naoto Maeda	[19]
9	Nadia Papakonstantinou	[19]
10	Sriram Sankaranarayanan	[11] [15] [19]
11	Nishant Sinha	[9] [17] [19]
12	Chao Wang	[12] [18] [19] [20]
13	Yu Yang	[11]
14	Zijiang Yang	[12]
15	Yun Zhang	[17]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page