Manuvir Das - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2006

2005

PASTE at MicrosoftManuvir Das. PASTE 2005: 1 [doi]

Symbolic path simulation in path-sensitive dataflow analysisHari Hampapuram, Yue Yang, Manuvir Das. PASTE 2005: 52-58 [doi]

2004

2002

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer AnalysisStephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer. SAS 2002: 230-246 [doi]

ESP: Path-Sensitive Program Verification in Polynomial TimeManuvir Das, Sorin Lerner, Mark Seigle. PLDI 2002: 57-68 [doi]

2001

Estimating the Impact of Scalable Pointer Analysis on OptimizationManuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof. SAS 2001: 260-278 [doi]

Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimizationMarkus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers. PASTE 2001: 66-72 [doi]

2000

Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk)Manuvir Das. PEPM 2000: 1 [doi]

Unification-based pointer analysis with directional assignmentsManuvir Das. PLDI 2000: 35-46 [doi]

Scalable context-sensitive flow analysis using instantiation constraintsManuel Fähndrich, Jakob Rehof, Manuvir Das. PLDI 2000: 253-263 [doi]

1997

The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 ProblemThomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus. ESEC/FSE 1997: 432-449 [doi]

1995

Semantic Foundations of Binding Time Analysis for Imperative ProgramsManuvir Das, Thomas W. Reps, Pascal Van Hentenryck. PEPM 1995: 100-110

Sign in or sign up to see more results.

runs on WebDSL