Mayur Naik Vis

*	2009
15	EE	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen: CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV 2009: 675-681
14	EE	Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay: Effective static deadlock detection. ICSE 2009: 386-396
13	EE	Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik: A randomized dynamic program analysis technique for detecting real deadlocks. PLDI 2009: 110-120
12	EE	Zachary R. Anderson, David Gay, Mayur Naik: Lightweight annotations for controlling sharing in concurrent data structures. PLDI 2009: 98-109
	2008
11	EE	Mayur Naik, Jens Palsberg: A type system equivalent to a model checker. ACM Trans. Program. Lang. Syst. 30(5): (2008)
	2007
10	EE	Mayur Naik, Alex Aiken: Conditional must not aliasing for static race detection. POPL 2007: 327-338
	2006
9	EE	Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken: Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112
8	EE	Mayur Naik, Alex Aiken, John Whaley: Effective static race detection for Java. PLDI 2006: 308-319
	2005
7	EE	Mayur Naik, Jens Palsberg: A Type System Equivalent to a Model Checker. ESOP 2005: 374-388
6	EE	Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan: Scalable statistical bug isolation. PLDI 2005: 15-26
	2004
5	EE	Mayur Naik, Jens Palsberg: Compiling with code-size constraints. ACM Trans. Embedded Comput. Syst. 3(1): 163-181 (2004)
	2003
4	EE	Thomas Ball, Mayur Naik, Sriram K. Rajamani: From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105
	2002
3	EE	Mayur Naik, Jens Palsberg: Compiling with code-size constraints. LCTES-SCOPES 2002: 120-129
	2000
2		Mayur Naik, Rajeev Kumar: Efficient Message Dispatch in Object-Oriented Systems. SIGPLAN Notices 35(3): 49-58 (2000)
	1999
1		Mayur Naik, Rajeev Kumar: Object-Oriented Symbol Management in Syntax-Directed Compiler Systems. SIGPLAN Notices 34(6): 58-67 (1999)

Coauthor Index

1	Alexander Aiken (Alex Aiken)	[6] [8] [9] [10]
2	Zachary R. Anderson	[12]
3	Thomas Ball	[4]
4	David Gay	[12] [14]
5	Michael I. Jordan	[6] [9]
6	Pallavi Joshi	[13] [15]
7	Rajeev Kumar	[1] [2]
8	Ben Liblit	[6] [9]
9	Jens Palsberg	[3] [5] [7] [11]
10	Chang-Seo Park	[13] [14] [15]
11	Sriram K. Rajamani	[4]
12	Koushik Sen	[13] [14] [15]
13	John Whaley	[8]
14	Alice X. Zheng	[6] [9]

Colors in the list of coauthors