BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Brazil
1 × Canada
1 × France
1 × Italy
1 × United Kingdom
5 × USA
Collaborated with:
G.R.Gao M.Buss D.Brand J.Choi S.A.Edwards M.G.Burke Y.Lee M.Pistoia R.J.Flynn L.Koved R.D.Ju D.M.Gillies V.Santhanam Y.Zhang W.Zhu V.Sarkar M.Gupta M.J.Serrano S.P.Midkiff
Talks about:
analysi (7) assign (3) interprocedur (2) framework (2) pointer (2) detect (2) compon (2) optim (2) graph (2) use (2)

Person: Vugranam C. Sreedhar

DBLP DBLP: Sreedhar:Vugranam_C=

Contributed to:

SAC 20082008
SAC 20082010
ICSM 20072007
PPoPP 20072007
ECOOP 20052005
ICSE 20022002
ESEC/FSE 20012001
PLDI 20002000
OOPSLA 19991999
SAS 19991999
PLDI 19961996
POPL 19951995

Wrote 12 papers:

SAC-2008-BussBSE #analysis #flexibility #graph #pointer #using
Flexible pointer analysis using assign-fetch graphs (MB, DB, VCS, SAE), pp. 234–239.
SAC-PL-J-2008-BussBSE10 #analysis #debugging #novel #pointer
A novel analysis space for pointer analysis and its application for bug finding (MB, DB, VCS, SAE), pp. 921–942.
ICSM-2007-BrandBS #analysis #debugging #detection
Evidence-Based Analysis and Inferring Preconditions for Bug Detection (DB, MB, VCS), pp. 44–53.
PPoPP-2007-ZhangSZSG #concurrent
Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections (YZ, VCS, WZ, VS, GRG), pp. 146–147.
ECOOP-2005-PistoiaFKS #analysis #detection #interprocedural
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection (MP, RJF, LK, VCS), pp. 362–386.
ICSE-2002-Sreedhar #component #mixin
Mixin Up components (VCS), pp. 198–207.
ESEC-FSE-2001-Sreedhar #component #named #programming
York: programming software components (VCS), pp. 305–306.
PLDI-2000-SreedharBC #framework #interprocedural #optimisation
A framework for interprocedural optimization in the presence of dynamic class loading (VCS, MGB, JDC), pp. 196–207.
OOPSLA-1999-ChoiGSSM #analysis #java
Escape Analysis for Java (JDC, MG, MJS, VCS, SPM), pp. 1–19.
Translating Out of Static Single Assignment Form (VCS, RDCJ, DMG, VS), pp. 194–210.
PLDI-1996-SreedharGL #analysis #data flow #framework #graph #incremental #using
A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs (VCS, GRG, YFL), pp. 278–290.
POPL-1995-SreedharG #algorithm #linear
A Linear Time Algorithm for Placing phi-nodes (VCS, GRG), pp. 62–73.

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.