Manuvir Das - RankMe

20 papers A* 6A 1B 4C 2Journal 1Unranked 5

Year	Rank	Type	Title / Venue / Authors
2007	—	`ed.`	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 PASTE Manuvir Das, Dan Grossman
2006	A*	`conf`	Formal Specifications on Industrial-Strength Code-From Myth to Reality. CAV Manuvir Das
2006	A*	`conf`	Modular checking for buffer overflows in the large. ICSE Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang
2006	B	`conf`	Path-Sensitive Dataflow Analysis with Iterative Refinement. SAS Dinakar Dhurjati, Manuvir Das, Yue Yang
2006	A*	`conf`	Perracotta: mining temporal API rules from imperfect traces. ICSE Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das
2006	B	`conf`	Unleashing the Power of Static Analysis. SAS Manuvir Das
2005	—	`conf`	PASTE at Microsoft. PASTE Manuvir Das
2005	—	`conf`	Symbolic path simulation in path-sensitive dataflow analysis. PASTE Hari Hampapuram, Yue Yang, Manuvir Das
2004	—	`conf`	PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang
2004	J	`jnl`	Righting Software. IEEE Softw. James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
2004	A	`conf`	Software validation via scalable path-sensitive value flow analysis. ISSTA Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang
2002	A*	`conf`	ESP: Path-Sensitive Program Verification in Polynomial Time. PLDI Manuvir Das, Sorin Lerner, Mark Seigle
2002	B	`conf`	Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer
2001	—	`conf`	Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. PASTE Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers
2001	B	`conf`	Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
2000	A*	`conf`	Scalable context-sensitive flow analysis using instantiation constraints. PLDI Manuel Fähndrich, Jakob Rehof, Manuvir Das
2000	C	`conf`	Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). PEPM Manuvir Das
2000	A*	`conf`	Unification-based pointer analysis with directional assignments. PLDI Manuvir Das
1997	—	`conf`	The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. ESEC / SIGSOFT FSE Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus
1995	C	`conf`	Semantic Foundations of Binding Time Analysis for Imperative Programs. PEPM Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck