Manu Sridharan

	2009
16		Guoqing Xu, Atanas Rountev, Manu Sridharan: Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. ECOOP 2009: 98-122
15		Jan Wloka, Manu Sridharan, Frank Tip: Refactoring for reentrancy. ESEC/SIGSOFT FSE 2009: 173-182
14		Satish Chandra, Stephen J. Fink, Manu Sridharan: Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374
13		Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman: TAJ: effective taint analysis of web applications. PLDI 2009: 87-97
12		Manu Sridharan, Stephen J. Fink: The Complexity of Andersen's Analysis in Practice. SAS 2009: 205-221
	2007
11		Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122
10		Bor-Yuh Evan Chang, Manu Sridharan: PML: Toward a High-Level Formal Language for Biological Systems. Electr. Notes Theor. Comput. Sci. 180(3): 15-30 (2007)
	2006
9		Manu Sridharan, Rastislav Bodík: Refinement-based context-sensitive points-to analysis for Java. PLDI 2006: 387-400
	2005
8		Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík: Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76
	2004
7		Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang: PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE 2004: 63-72
	2003
6		Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105
	2002
5		Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan: Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. PLDI 2002: 258-269
	2001
4		Daniel Jackson, Ilya Shlyakhter, Manu Sridharan: A micromodularity mechanism. ESEC / SIGSOFT FSE 2001: 62-73
3		Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides: A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. IPDPS 2001: 23
	2000
2		Manu Sridharan, Gerald Tesauro: Multi-Agent Q-Learning and Regression Trees for Automated Pricing Decisions. ICMAS 2000: 447-448
1		Manu Sridharan, Gerald Tesauro: Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions. ICML 2000: 927-934

Coauthor Index

1	Stephen Adams	[7]
2	Bowen Alpern	[3]
3	Rastislav Bodík	[8] [9] [11]
4	Satish Chandra	[14]
5	Bor-Yuh Evan Chang	[10]
6	Jong-Deok Choi	[3] [5]
7	Manuvir Das	[7]
8	Stephen J. Fink (Stephen Fink)	[11] [12] [13] [14]
9	Denis Gopan	[8]
10	Daniel Jackson	[4] [6]
11	Keunwoo Lee	[5]
12	Alexey Loginov	[5]
13	Roman Manevich	[7]
14	Ton Anh Ngo (Ton Ngo)	[3]
15	Robert O'Callahan	[5]
16	Marco Pistoia	[13]
17	Atanas Rountev	[16]
18	Vivek Sarkar	[5]
19	Robert Seater	[6]
20	Lexin Shan	[8]
21	Ilya Shlyakhter	[4] [6]
22	Mana Taghdiri	[6]
23	Gerald Tesauro	[1] [2]
24	Frank Tip	[15]
25	Omer Tripp	[13]
26	John M. Vlissides	[3]
27	Omri Weisman	[13]
28	Jan Wloka	[15]
29	Guoqing Xu	[16]
30	Zhe Yang	[7]

Colors in the list of coauthors