Travelled to:1 × Canada
1 × China
1 × France
1 × Germany
1 × Korea
1 × Portugal
1 × Spain
1 × Switzerland
5 × USA
Collaborated with:∅ Y.Yang M.Fähndrich J.Rehof T.W.Reps S.Lerner M.Seigle Z.Yang T.Ball S.Adams D.Dhurjati H.Hampapuram P.V.Hentenryck B.Hackett D.Wang M.Mock C.Chambers S.J.Eggers B.Liblit J.R.Larus J.Yang D.Evans D.Bhardwaj T.Bhat R.Manevich M.Sridharan S.K.Rajamani W.Weimer
Talks about:analysi (11) program (6) static (4) sensit (4) path (4) dataflow (3) pointer (3) use (3) scalabl (2) applic (2)
Person: Manuvir Das
DBLP: Das:Manuvir
Facilitated 1 volumes:
EdContributed to:
2006
2006
20062005
2004
2002200220012001
20002000
19971995Wrote 17 papers:
- CAV-2006-Das #specification
- Formal Specifications on Industrial-Strength Code-From Myth to Reality (MD), p. 1.
- ICSE-2006-HackettDWY #composition #in the large
- Modular checking for buffer overflows in the large (BH, MD, DW, ZY), pp. 232–241.
- ICSE-2006-YangEBBD #api #mining #named
- Perracotta: mining temporal API rules from imperfect traces (JY, DE, DB, TB, MD), pp. 282–291.
- SAS-2006-Das #power of #static analysis
- Unleashing the Power of Static Analysis (MD), pp. 1–2.
- SAS-2006-DhurjatiDY #analysis #data flow #refinement
- Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.
- PASTE-2005-Das
- PASTE at Microsoft (MD), p. 1.
- PASTE-2005-HampapuramYD #analysis #data flow #simulation
- Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.
- FSE-2004-ManevichSA #named #static analysis
- PSE: explaining program failures via postmortem static analysis (RM, MS, SA, MD, ZY), pp. 63–72.
- PLDI-2002-DasLS #named #polynomial #verification
- ESP: Path-Sensitive Program Verification in Polynomial Time (MD, SL, MS), pp. 57–68.
- SAS-2002-AdamsBDLRSW #analysis #data flow #pointer #using
- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.
- PASTE-2001-MockDCE #analysis #comparison #comprehension #optimisation #points-to #set
- Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization (MM, MD, CC, SJE), pp. 66–72.
- SAS-2001-DasLFR #impact analysis #optimisation #pointer #scalability
- Estimating the Impact of Scalable Pointer Analysis on Optimization (MD, BL, MF, JR), pp. 260–278.
- PEPM-2000-Das #case study #experience #scalability #source code #static analysis
- Static Analysis of Large Programs: Some Experiences (MD), p. 1.
- PLDI-2000-Das #analysis #pointer
- Unification-based pointer analysis with directional assignments (MD), pp. 35–46.
- PLDI-2000-FahndrichRD #analysis #constraints #scalability #using
- Scalable context-sensitive flow analysis using instantiation constraints (MF, JR, MD), pp. 253–263.
- ESEC-FSE-1997-RepsBDL #maintenance #problem #profiling #using
- The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem (TWR, TB, MD, JRL), pp. 432–449.
- PEPM-1995-DasRH #analysis #imperative #semantics #source code
- Semantic Foundations of Binding Time Analysis for Imperative Programs (MD, TWR, PVH), pp. 100–110.