Manuvir Das

According to our database, Manuvir Das authored at least 19 papers between 1995 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

Path-Sensitive Dataflow Analysis with Iterative Refinement.

Dinakar Dhurjati, Manuvir Das, Yue Yang

Proceedings of the Static Analysis, 13th International Symposium, 2006

Unleashing the Power of Static Analysis.

Manuvir Das

Proceedings of the Static Analysis, 13th International Symposium, 2006

Perracotta: mining temporal API rules from imperfect traces.

Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Modular checking for buffer overflows in the large.

Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Formal Specifications on Industrial-Strength Code-From Myth to Reality.

Manuvir Das

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Symbolic path simulation in path-sensitive dataflow analysis.

Hari Hampapuram, Yue Yang, Manuvir Das

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

PASTE at Microsoft.

Manuvir Das

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

2004

Righting Software.

James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy

IEEE Softw., 2004

PSE: explaining program failures via postmortem static analysis.

Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Software validation via scalable path-sensitive value flow analysis.

Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2002

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.

Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer

Proceedings of the Static Analysis, 9th International Symposium, 2002

ESP: Path-Sensitive Program Verification in Polynomial Time.

Manuvir Das, Sorin Lerner, Mark Seigle

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

Estimating the Impact of Scalable Pointer Analysis on Optimization.

Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof

Proceedings of the Static Analysis, 8th International Symposium, 2001

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

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000

Scalable context-sensitive flow analysis using instantiation constraints.

Manuel Fähndrich, Jakob Rehof, Manuvir Das

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Unification-based pointer analysis with directional assignments.

Manuvir Das

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk).

Manuvir Das

Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

1997

The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem.

Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus

Proceedings of the Software Engineering, 1997

1995

Semantic Foundations of Binding Time Analysis for Imperative Programs.

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995