BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Das:Manuvir

Facilitated 1 volumes:

PASTE 2007Ed

Contributed to:

CAV 20062006
ICSE 20062006
SAS 20062006
PASTE 20052005
FSE 20042004
PLDI 20022002
SAS 20022002
PASTE 20012001
SAS 20012001
PEPM 20002000
PLDI 20002000
ESEC/FSE 19971997
PEPM 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.