Manu Sridharan Vis

*	2009
13	EE	Satish Chandra, Stephen J. Fink, Manu Sridharan: Snugglebug: a powerful approach to weakest preconditions. PLDI 2009: 363-374
12	EE	Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman: TAJ: effective taint analysis of web applications. PLDI 2009: 87-97
	2007
11	EE	Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. PLDI 2007: 112-122
10	EE	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	EE	Manu Sridharan, Rastislav Bodík: Refinement-based context-sensitive points-to analysis for Java. PLDI 2006: 387-400
	2005
8	EE	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík: Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76
	2004
7	EE	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	EE	Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105
	2002
5	EE	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	EE	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	EE	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	[13]
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]
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	[12]
17	Vivek Sarkar	[5]
18	Robert Seater	[6]
19	Lexin Shan	[8]
20	Ilya Shlyakhter	[4] [6]
21	Mana Taghdiri	[6]
22	Gerald Tesauro	[1] [2]
23	Omer Tripp	[12]
24	John M. Vlissides	[3]
25	Omri Weisman	[12]
26	Zhe Yang	[7]

Colors in the list of coauthors