Concepedia

Mangala Gowri Nanda

MG

20

Publications

944

Citations

15

H-Index

2000

Active since

Affiliations

IBM Research - India(Current)

IBM (United States)

Indian Institute of Technology Bombay

University of California, Los Angeles

Mangala Gowri Nanda is an author at IBM Research - India specializing in engineering, computer science, and system software.

Top concepts

EngineeringComputer ScienceSystem SoftwareSoftware EngineeringProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationCloud ComputingSoftware Testing

Publications per year

2000–2013

20

Publications

20

Decentralized orchestration of composite web services

Girish Chafle, S. Chandra, Vijay Mann et al. · 2004 · 214 citations

Composite Web Services, Cluster Computing, Engineering +14

Decentralizing execution of composite web services

Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar · 2004 · 170 citations

Enterprise Applications Today, Business Process Integration, Engineering +18

Accurate Interprocedural Null-Dereference Analysis for Java

Mangala Gowri Nanda, Saurabh Sinha · 2009 · 83 citations

Software Maintenance, Engineering, Verification +20

Slicing concurrent programs

Mangala Gowri Nanda, S. Ramesh · 2000 · 74 citations

Engineering, Computer Architecture, Software Engineering +19

Verifying dereference safety via expanding-scope analysis

Eran Yahav, Satish Chandra, Stephen J. Fink et al. · 2008 · 46 citations

Program Checking, Engineering, Verification +19

Rows per page

1–5 of 20