Searching for authors named "Manuvir Das" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

Unification-based Pointer Analysis with Directional Assignments
by Manuvir Das — 2000
…Unication-based Pointer Analysis with Directional Assignments Manuvir Das manuvir…
Cited by 153 (5 self) – Add To MetaCart

BTA Termination Using CFL-Reachability
by Manuvir Das, Manuvir Das, Thomas Reps, Thomas Reps — 1996
…BTA Termination Using CFL-Reachability Manuvir Das Thomas Reps University of Wisconsin…
Cited by 1 (0 self) – Add To MetaCart

From Polymorphic Subtyping to CFL Reachability: Context-Sensitive Flow Analysis Using Instantiation Constraints
by Manuel Fähndrich, Jakob Rehof, Manuvir Das — 1999
… Constraints Microsoft Research Technical Report MSR-TR-99-84 Manuel Fahndrich Jakob Rehof Manuvir Das March…
Cited by 2 (1 self) – Add To MetaCart

Path-Sensitive Program Verification in Polynomial Time
by Manuvir Das, Sorin Lerner, Mark Seigle — 2002
…Path-Sensitive Program Verification in Polynomial Time Manuvir Das Sorin Lerner Mark Seigle…
Cited by 39 (0 self) – Add To MetaCart

The use of program profiling for software maintenance with applications to the year 2000 problem
by Thomas Reps, Thomas Ball, Manuvir Das, James Larus — 1997 — ACM Software Engineering Notes
… * Thomas Reps, † Thomas Ball, ‡ Manuvir Das, † and James Larus † Abstract This paper describes new…
Cited by 69 (5 self) – Add To MetaCart

Estimating the impact of scalable pointer analysis on optimization
by Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof — 2001 — In Proceedings of the 8th International Static Analysis Symposium
…Estimating the Impact of Scalable Pointer Analysis on Optimization Manuvir Das 1 , Ben Liblit 2…
Cited by 46 (6 self) – Add To MetaCart

Scalable Context-Sensitive Flow Analysis Using Instantiation Constraints
by Manuel Fähndrich, Jakob Rehof, Manuvir Das — 2000 — In Conference on Programming Language Design and Implementation
… Rehof Manuvir Das Microsoft Resarch One Microsoft Way Redmond WA, 98052 fmaf…
Cited by 74 (2 self) – Add To MetaCart

PSE: Explaining Program Failures via Postmortem Static Analysis
by Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang — 2004
… 1-58113-855-5/04/0010 ...$5.00. Stephen Adams, Manuvir Das, Zhe Yang Center for Software Excellence…
Cited by 25 (3 self) – Add To MetaCart

Dynamic points-to sets: A comparison with static analyses and potential applications in program understanding and optimization
by Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers — 2001 — In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
… Understanding and Optimization Markus Mock * , Manuvir Das + , Craig Chambers * , and Susan J. Eggers…
Cited by 29 (5 self) – Add To MetaCart

Speeding up dataflow analysis using flow-insensitive pointer analysis
by Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer — 2002 — SAS (2002), LNCS 2477
… Ball 1 , Manuvir Das 1 , Sorin Lerner 2 , Sriram K. Rajamani 1 , Mark Seigle 2 , and Westley Weimer 3 1…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB