Manuvir Das

2007
20		Manuvir Das, Dan Grossman: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007 ACM 2007
2006
19	EE	Manuvir Das: Formal Specifications on Industrial-Strength Code-From Myth to Reality. CAV 2006: 1
18	EE	Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang: Modular checking for buffer overflows in the large. ICSE 2006: 232-241
17	EE	Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das: Perracotta: mining temporal API rules from imperfect traces. ICSE 2006: 282-291
16	EE	Manuvir Das: Unleashing the Power of Static Analysis. SAS 2006: 1-2
15	EE	Dinakar Dhurjati, Manuvir Das, Yue Yang: Path-Sensitive Dataflow Analysis with Iterative Refinement. SAS 2006: 425-442
2005
14	EE	Manuvir Das: PASTE at Microsoft. PASTE 2005: 1
13	EE	Hari Hampapuram, Yue Yang, Manuvir Das: Symbolic path simulation in path-sensitive dataflow analysis. PASTE 2005: 52-58
2004
12	EE	Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang: Software validation via scalable path-sensitive value flow analysis. ISSTA 2004: 12-22
11	EE	Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang: PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE 2004: 63-72
10	EE	James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy: Righting Software. IEEE Software 21(3): 92-100 (2004)
2002
9	EE	Manuvir Das, Sorin Lerner, Mark Seigle: ESP: Path-Sensitive Program Verification in Polynomial Time. PLDI 2002: 57-68
8	EE	Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer: Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246
2001
7	EE	Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers: Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. PASTE 2001: 66-72
6	EE	Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof: Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS 2001: 260-278
2000
5	EE	Manuvir Das: Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). PEPM 2000: 1
4	EE	Manuel Fähndrich, Jakob Rehof, Manuvir Das: Scalable context-sensitive flow analysis using instantiation constraints. PLDI 2000: 253-263
3	EE	Manuvir Das: Unification-based pointer analysis with directional assignments. PLDI 2000: 35-46
1997
2	EE	Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus: The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. ESEC / SIGSOFT FSE 1997: 432-449
1995
1		Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck: Semantic Foundations of Binding Time Analysis for Imperative Programs. PEPM 1995: 100-110

Coauthor Index

1	Stephen Adams	[8] [11] [12]
2	Thomas Ball	[2] [8] [10]
3	Deepali Bhardwaj	[17]
4	Thirumalesh Bhat	[17]
5	Craig Chambers	[7]
6	Robert DeLine	[10]
7	Dinakar Dhurjati	[15]
8	Nurit Dor	[12]
9	Susan J. Eggers	[7]
10	David Evans	[17]
11	Manuel Fähndrich	[4] [6] [10]
12	Dan Grossman	[20]
13	Brian Hackett	[18]
14	Hari Hampapuram	[13]
15	Pascal Van Hentenryck	[1]
16	James R. Larus	[2] [10]
17	Sorin Lerner	[8] [9]
18	Ben Liblit	[6]
19	Roman Manevich	[11]
20	Markus Mock	[7]
21	Jonathan D. Pincus	[10]
22	Sriram K. Rajamani	[8] [10]
23	Jakob Rehof	[4] [6]
24	Thomas W. Reps	[1] [2]
25	Mark Seigle	[8] [9]
26	Manu Sridharan	[11]
27	Ramanathan Venkatapathy	[10]
28	Daniel Wang	[18]
29	Westley Weimer	[8]
30	Jinlin Yang	[17]
31	Yue Yang	[13] [15]
32	Zhe Yang	[11] [12] [18]

Colors in the list of coauthors