Concepedia

Manuvir Das

MD

19

Publications

2.3K

Citations

16

H-Index

1995

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft (Finland)

Microsoft Research (United Kingdom)

University of Washington

University of Wisconsin–Madison

Manuvir Das is an author at Microsoft (United States) specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystem SoftwareComputer EngineeringFormal MethodsSoftware TestingSoftware Engineering

Publications per year

1995–2006

19

Publications

19

ESP

Manuvir Das, Sorin Lerner, Mark Seigle · 2002 · 545 citations

Program Checking, Engineering, Temporal Safety Property +17

Jinlin Yang, David Evans, Deepali Bhardwaj et al. · 2006 · 399 citations

Software Maintenance, Engineering, Verification +20

Unification-based pointer analysis with directional assignments

Manuvir Das · 2000 · 301 citations · Full text

Engineering, Compiler Technology, Software Systems +19

The use of program profiling for software maintenance with applications to the year 2000 problem

Thomas Reps, Thomas Ball, Manuvir Das et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1997 · 232 citations · Full text

Scalable context-sensitive flow analysis using instantiation constraints

Manuel Fähndrich, Jakob Rehof, Manuvir Das · 2000 · 128 citations · Full text

Polymorphic Types, Engineering, Type Theory +21

Rows per page

1–5 of 19