Semantic Foundations of Binding Time Analysis for Imperative Programs. - Manuvir Das; Thomas W. Reps; Pascal Van Hentenryck (PEPM, 1995)

The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem. - Thomas W. Reps; Thomas Ball 001; Manuvir Das; James R. Larus (ESEC / SIGSOFT FSE, 1997)

Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). - Manuvir Das (PEPM, 2000)

Unification-based pointer analysis with directional assignments. - Manuvir Das (PLDI, 2000)

Scalable context-sensitive flow analysis using instantiation constraints. - Manuel Fähndrich; Jakob Rehof; Manuvir Das (PLDI, 2000)

Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization. - Markus Mock; Manuvir Das; Craig Chambers; Susan J. Eggers (PASTE, 2001)

Estimating the Impact of Scalable Pointer Analysis on Optimization. - Manuvir Das; Ben Liblit; Manuel Fähndrich; Jakob Rehof (SAS, 2001)

ESP: Path-Sensitive Program Verification in Polynomial Time. - Manuvir Das; Sorin Lerner; Mark Seigle (PLDI, 2002)

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. - Stephen Adams 001; Thomas Ball 001; Manuvir Das; Sorin Lerner; Sriram K. Rajamani; Mark Seigle; Westley Weimer (SAS, 2002)

Software validation via scalable path-sensitive value flow analysis. - Nurit Dor; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (ISSTA, 2004)

PSE: explaining program failures via postmortem static analysis. - Roman Manevich; Manu Sridharan; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (SIGSOFT FSE, 2004)

Righting Software. - James R. Larus; Thomas Ball 001; Manuvir Das; Robert DeLine; Manuel Fähndrich; Jonathan D. Pincus; Sriram K. Rajamani; Ramanathan Venkatapathy (IEEE Softw., 2004)

PASTE at Microsoft. - Manuvir Das (PASTE, 2005)

Symbolic path simulation in path-sensitive dataflow analysis. - Hari Hampapuram; Yue Yang; Manuvir Das (PASTE, 2005)

Formal Specifications on Industrial-Strength Code-From Myth to Reality. - Manuvir Das (CAV, 2006)

Modular checking for buffer overflows in the large. - Brian Hackett; Manuvir Das; Daniel Wang; Zhe Yang 001 (ICSE, 2006)

Perracotta: mining temporal API rules from imperfect traces. - Jinlin Yang; David Evans 001; Deepali Bhardwaj; Thirumalesh Bhat; Manuvir Das (ICSE, 2006)

Unleashing the Power of Static Analysis. - Manuvir Das (SAS, 2006)

Path-Sensitive Dataflow Analysis with Iterative Refinement. - Dinakar Dhurjati; Manuvir Das; Yue Yang (SAS, 2006)