Program Analysis Research Papers

We use program analysis technology to build tools for validating industrial-sized software. Validation tools require complete analysis of all execution paths. Program analysis methods require a trade-off between precision and scalability. We strive to overcome this tradeoff.

Overview

The Program Analysis research group is focused on the practical issue of helping Microsoft product groups develop better software. At the same time, our work has advanced the state of the art in the field of program analysis.

2006

•	Modular Checking for Buffer Overflows in the Large. Brian Hackett, Manuvir Das, Daniel Wang, and Zhe Yang. To appear in ICSE, 2006. Also available as Microsoft Research Technical Report MSR-TR-2005-139. Portable Document Format.

•	Path-Sensitive Dataflow Analysis with Iterative Refinement. Dinakar Dhurjati1, Manuvir Das, and Yue Yang. SAS'06: The 13th International Static Analysis Symposium, Seoul, August 2006. Portable Document Format.

2005

•	Symbolic Path Simulation in Path-Sensitive Dataflow Analysis. Hari Hampapuram, Yue Yang, and Manuvir Das. Appeared in PASTE '05, 2005. Portable Document Format.

2004

•	PSE: Explaining Program Failures via Postmortem Static Analysis. Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, and Zhe Yang. Appeared in FSE '04: Twelfth International Symposium on the Foundations of Software Engineering, Newport Beach, November 2004. Portable Document Format.

•	Righting Software. Jim Larus, Tom Ball, Manuvir Das, Rob DeLine, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, and Ramanathan Venkatapathy. IEEE Software, Vol. 21 No. 3, May/June 2004. Portable Document Format.

•	Software Validation via Scalable Path-Sensitive Value Flow Analysis. Nurit Dor, Stephen Adams, Manuvir Das, and Zhe Yang. Appeared in ISSTA '04: International Symposium on Software Testing and Analysis, Boston, July 2004. Portable Data Format.

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, June 2002. Portable Document Format.

•

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.

Stephen Adams, Thomas Ball, Manuvir Das,Sorin Lerner, Sriram Rajamani, Mark Seigle, and Wes Weimer.
SAS '02: The 9th International Static Analysis Symposium, Madrid, September 2002.
Also available as Microsoft Research Technical Report MSR-TR-2001-20.
Portable Document Format.

2001

•	A Static Analyzer for Finding Dynamic Programming Errors. William R. Bush, John D. Pincus, and David J. Sielaff. Software - Practice and Experience, Vol. 30 No. 7, 2000. Abstract.

•

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: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Snowbird, June 2001.
Also available as Microsoft Research Technical Report MSR-TR-2001-38.
Portable Document Format.

•

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, Paris, July 2001.
Also available as Microsoft Research Technical Report MSR-TR-2001-20.
Portable Document Format, PostScript.

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, June 2000. PostScript.

•	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, June 2000. PostScript.

•	More CSE Papers and Document Viewers

Program Analysis

•
Home
•
Projects
•
Research Papers
•
Staff
•
Interns