Travelled to:1 × France
1 × Hungary
1 × South Africa
1 × United Kingdom
2 × Canada
6 × USA
Collaborated with:S.Chandra S.Sinha S.Ramesh S.Bhattacharya K.Gopinath N.M.Karnik C.Grothoff V.Sarkar M.Gupta S.Mani V.S.Sinha D.Saha P.Dhoolia V.K.Nandivada V.Sinha M.Gupta D.Schmidt P.Balachandran M.Kim C.Görg H.Shah M.J.Harrold A.Loginov E.Yahav S.Fink N.Rinetzky
Talks about:analysi (6) program (4) composit (2) derefer (2) decentr (2) servic (2) object (2) bloat (2) autom (2) java (2)
Person: Mangala Gowri Nanda
DBLP: Nanda:Mangala_Gowri
Contributed to:
2013
2011
2011
2010
201020092009
200820052004
20032000Wrote 13 papers:
- OOPSLA-2013-BhattacharyaGN #detection #program analysis
- Combining concern input with program analysis for bloat detection (SB, KG, MGN), pp. 745–764.
- ECOOP-2011-BhattacharyaNGG #reuse
- Reuse, Recycle to De-bloat Software (SB, MGN, KG, MG), pp. 408–432.
- ESEC-FSE-2011-SahaNDNSC #fault #locality #source code
- Fault localization for data-centric programs (DS, MGN, PD, VKN, VS, SC), pp. 157–167.
- ICSE-2010-NandaGSCSB #tool support
- Making defect-finding tools work for you (MGN, MG, SS, SC, DS, PB), pp. 99–108.
- ICST-2010-KimSGSHN #analysis #automation #debugging #identification
- Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes (MK, SS, CG, HS, MJH, MGN), pp. 383–392.
- ICSE-2009-NandaS #analysis #interprocedural #java
- Accurate Interprocedural Null-Dereference Analysis for Java (MGN, SS), pp. 133–143.
- OOPSLA-2009-NandaMSS #approach #automation #model transformation
- Demystifying model transformations: an approach based on automated rule inference (MGN, SM, VSS, SS), pp. 341–360.
- ISSTA-2008-LoginovYCFRN #analysis #safety #verification
- Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.
- OOPSLA-2005-NandaGC #type system
- Deriving object typestates in the presence of inter-object references (MGN, CG, SC), pp. 77–96.
- OOPSLA-2004-NandaCS #execution #web #web service
- Decentralizing execution of composite web services (MGN, SC, VS), pp. 170–187.
- SAC-2003-NandaK #analysis #web #web service
- Synchronization Analysis for Decentralizing Composite Web Services (MGN, NMK), pp. 407–414.
- SAC-2003-NandaR #analysis #java #parallel #pointer #source code #thread
- Pointer Analysis of Multithreaded Java Programs (MGN, SR), pp. 1068–1075.
- ISSTA-2000-NandaR #concurrent #slicing #source code
- Slicing concurrent programs (MGN, SR), pp. 180–190.