Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer SAS '02: The 9th International Static Analysis Symposium, September 2002. ESP: Path-Sensitive Program Verification in Polynomial Time Manuvir Das, Sorin Lerner, and Mark Seigle PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, Berlin, Germany, June 2002. Estimating the Impact of Scalable Pointer Analysis on Optimization Manuvir Das, Ben Liblit, Manuel Fahndrich, and Jakob Rehof SAS '01: The 8th International Static Analysis Symposium, July 2001. (also published as Microsoft Research Technical Report MSR-TR-2001-20) Dynamic Points-to Sets: A Comparison with Static Analyses and Potential Applications in Program Understanding and Optimization Markus Mock, Manuvir Das, Craig Chambers, and Susan Eggers PASTE '01: Workshop on Program Analysis for Software Tools and Engineering, June 2001. (also published as Microsoft Research Technical Report MSR-TR-2001-38 and University of Washington CSE Technical Report UW-CSE-01-03-01) Unification-Based Pointer Analysis with Directional Assignments Manuvir Das PLDI '00: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, Vancouver, BC, Canada, June 2000. Scalable Context-Sensitive Flow Analysis Using Instantiation Constraints Manuel Fahndrich, Jakob Rehof, and Manuvir Das PLDI '00: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, Vancouver, BC, Canada, June 2000. The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem Thomas Reps, Thomas Ball, Manuvir Das, and James Larus FSE '97: Proceedings of the Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, (Zurich, Switzerland, Sept. 22-25, 1997), Springer-Verlag, New York, NY, 1997. Semantic Foundations of Binding-Time Analysis for Imperative Programs Manuvir Das, Thomas Reps, and Pascal Van Hentenryck PEPM '95: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995, pp. 100-110.

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K Rajamani, Mark Seigle, and Wes Weimer Microsoft Technical Report MSR-TR-2002-18, Microsoft Corporation, February 2002. From Polymorphic Subtyping to CFL Reachability: Context-Sensitive Flow Analysis Using Instantiation Constraints Manuel Fahndrich, Jakob Rehof, and Manuvir Das Microsoft Technical Report MSR-TR-99-84, Microsoft Corporation, November 1999. Partial Evaluation Using Dependence Graphs Manuvir Das Ph.D. Thesis and Technical Report 1362, Computer Sciences Department, University of Wisconsin - Madison, February 1998. The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem Thomas Reps, Thomas Ball, Manuvir Das, and James Larus Technical Report 1335, Computer Sciences Department, University of Wisconsin - Madison, January 1997. BTA Termination Using CFL-Reachability Manuvir Das and Thomas Reps Technical Report 1329, Computer Sciences Department, University of Wisconsin - Madison, November 1996.