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: Sreedhar:Vugranam_C=
Contributed to:
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.
- SAS-1999-SreedharJGS
- 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.