An Application of Compiler Technology to the Year 2000 Problem. - Mangala Gowri Nanda; Purandar Bhaduri; Sundeep Oberoi; Amitabha Sanyal (Softw. Pract. Exp., 1999)

Slicing concurrent programs. - Mangala Gowri Nanda; S. Ramesh 001 (ISSTA, 2000)

Pointer Analysis of Multithreaded Java Programs. - Mangala Gowri Nanda; S. Ramesh 001 (SAC, 2003)

Decentralizing execution of composite web services. - Mangala Gowri Nanda; Satish Chandra 001; Vivek Sarkar (OOPSLA, 2004)

Decentralized orchestration of composite web services. - Girish Chafle; Sunil Chandra; Vijay Mann; Mangala Gowri Nanda (WWW (Alternate Track Papers & Posters), 2004)

Synchronization Analysis For Decentralizing Composite Web Services. - Mangala Gowri Nanda; Neeran M. Karnik (Int. J. Cooperative Inf. Syst., 2004)

Orchestrating Composite Web Services under Data Flow Constraints. - Girish Chafle; Sunil Chandra; Vijay Mann; Mangala Gowri Nanda (ICWS, 2005)

Deriving object typestates in the presence of inter-object references. - Mangala Gowri Nanda; Christian Grothoff; Satish Chandra 001 (OOPSLA, 2005)

Interprocedural slicing of multithreaded programs with applications to Java. - Mangala Gowri Nanda; S. Ramesh 001 (ACM Trans. Program. Lang. Syst., 2006)

Improving Performance of CompositeWeb Services Over a Wide Area Network. - Girish Chafle; Sunil Chandra; Neeran M. Karnik; Vijay Mann; Mangala Gowri Nanda (IEEE SCW, 2007)

Determining QoS of WS-BPEL Compositions. - Debdoot Mukherjee; Pankaj Jalote; Mangala Gowri Nanda (ICSOC, 2008)

Verifying dereference safety via expanding-scope analysis. - Alexey Loginov; Eran Yahav; Satish Chandra 001; Stephen Fink; Noam Rinetzky; Mangala Gowri Nanda (ISSTA, 2008)

Accurate Interprocedural Null-Dereference Analysis for Java. - Mangala Gowri Nanda; Saurabh Sinha (ICSE, 2009)

Demystifying model transformations: an approach based on automated rule inference. - Mangala Gowri Nanda; Senthil Mani; Vibha Singhal Sinha; Saurabh Sinha (OOPSLA, 2009)

Gaining insight into programs that analyze programs: by visualizing the analyzed program. - Agastya Nanda; Mangala Gowri Nanda (OOPSLA Companion, 2009)

The puppet and the probe. - Samvida Nanda; Soumya Ramasubramaniam; Sumana Ramasubramaniam; Agastya Nanda; Mangala Gowri Nanda (OOPSLA Companion, 2009)

From Informal Process Diagrams to Formal Process Models. - Debdoot Mukherjee; Pankaj Dhoolia; Saurabh Sinha; Aubrey J. Rembert; Mangala Gowri Nanda (BPM, 2010)

Making defect-finding tools work for you. - Mangala Gowri Nanda; Monika Gupta 002; Saurabh Sinha; Satish Chandra 001; David Schmidt; Pradeep Balachandran (ICSE (2), 2010)

Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes. - Mijung Kim; Saurabh Sinha; Carsten Görg; Hina Shah; Mary Jean Harrold; Mangala Gowri Nanda (ICST, 2010)

Reuse, Recycle to De-bloat Software. - Suparna Bhattacharya; Mangala Gowri Nanda; Kanchi Gopinath; Manish Gupta (ECOOP, 2011)

A framework for analyzing programs written in proprietary languages. - V. Krishna Nandivada; Mangala Gowri Nanda; Pankaj Dhoolia; Diptikalyan Saha; Anjan Nandy; Anup Ghosh (OOPSLA Companion, 2011)

Fault localization for data-centric programs. - Diptikalyan Saha; Mangala Gowri Nanda; Pankaj Dhoolia; V. Krishna Nandivada; Vibha Sinha; Satish Chandra 001 (SIGSOFT FSE, 2011)

Combining concern input with program analysis for bloat detection. - Suparna Bhattacharya; Kanchi Gopinath; Mangala Gowri Nanda (OOPSLA, 2013)

Decompiling Boolean Expressions from Java™ Bytecode. - Mangala Gowri Nanda; S. Arun-Kumar (ISEC, 2016)