| 2006 | CAV | Formal Specifications on Industrial-Strength Code-From Myth to Reality. | Manuvir Das |
| 2006 | ICSE | Modular checking for buffer overflows in the large. | Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang |
| 2006 | ICSE | Perracotta: mining temporal API rules from imperfect traces. | Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das |
| 2006 | SAS | Unleashing the Power of Static Analysis. | Manuvir Das |
| 2006 | SAS | Path-Sensitive Dataflow Analysis with Iterative Refinement. | Dinakar Dhurjati, Manuvir Das, Yue Yang |
| 2004 | ISSTA | Software validation via scalable path-sensitive value flow analysis. | Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang |
| 2002 | PLDI | ESP: Path-Sensitive Program Verification in Polynomial Time. | Manuvir Das, Sorin Lerner, Mark Seigle |
| 2002 | SAS | Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. | Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer |
| 2001 | SAS | Estimating the Impact of Scalable Pointer Analysis on Optimization. | Manuvir Das, Ben Liblit, Manuel Fhndrich, Jakob Rehof |
| 2000 | PEPM | Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). | Manuvir Das |
| 2000 | PLDI | Unification-based pointer analysis with directional assignments. | Manuvir Das |
| 2000 | PLDI | Scalable context-sensitive flow analysis using instantiation constraints. | Manuel Fhndrich, Jakob Rehof, Manuvir Das |
| 1995 | PEPM | Semantic Foundations of Binding Time Analysis for Imperative Programs. | Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck |