Refereed publications

  1. Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, and John Field. Balodia. "Identifying Services from Legacy Batch Applications". To appear in Proc. India Software Engineering Conference (ISEC), (Kanpur, India, Feb. 2012).
  2. Raghavan Komondoor, K. Vasanta Lakshmi, Deva Seetharam, and Sudha Balodia. "Packet flow analysis in IP networks using data-flow analysis". To appear in Proc. India Software Engineering Conference (ISEC), (Kanpur, India, Feb. 2012).
  3. Ravichandhran Madhavan and Raghavan Komondoor. "Null dereference verification via over-approximated weakest pre-conditions analysis". In Proc. OOPSLA, (Portland, Oregon, Oct. 2011), pages 1033-1052.
  4. Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, and Girish M. Rama. "A case study in matching service descriptions to implementations in an existing system". In Proc. Intl. Conf. on Software Maintenance (ICSM), (Timisoara, Romania, Sep. 2010). [abstract, pdf, Copyright © 2011 IEEE, definitive version, extended technical report].
  5. Raghavan Komondoor, and G. Ramalingam. "Recovering data models via guarded dependences". In Proc. 14th Working Conf. on Reverse Engg. (WCRE), (Vancouver, Canada, Oct. 2007), pages 110-119. [abstract, pdf, Copyright © 2007 IEEE, definitive version].
  6. Saurabh Sinha, G. Ramalingam, and Raghavan Komondoor. "Parametric Process Model Inference". In Proc. 14th Working Conf. on Reverse Engg. (WCRE), (Vancouver, Canada, Oct. 2007), pages 21-30. [abstract, pdf, Copyright © 2007 IEEE, definitive version].
  7. S. Chandra, J. de Vries, J. Field, H. Hess, M. Kalidasan, K. V. Raghavan, F. Nieuwerth, G. Ramalingam, and J. Xue. "Technical Forum Article: Using logical data models for understanding and transforming legacy business applications". IBM Systems Journal, 45(3):647-655, 2006. [pdf].
  8. G. Ramalingam, Raghavan Komondoor, John Field, and Saurabh Sinha. "Semantics-based Reverse Engineering of Object-Oriented Data Models". In Proc. of 28th Int. Conf. on Software Engineering (ICSE), (Shanghai, China, May 2006), pages 192-201. [abstract, pdf, © ACM, definitive version].
  9. Raghavan Komondoor, G. Ramalingam, Satish Chandra, and John Field. "Dependent Types for Program Understanding". In Proc. of 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (Edinburgh, UK, April 2005), pages 157-173. [abstract, pdf, © Springer-Verlag, Vol. 3440].
  10. Raghavan Komondoor and Susan Horwitz. "Effective, Automatic Procedure Extraction". In Proc. of 11th Int. Workshop on Program Comprehension (IWPC), (Portland, Oregon, May 2003). [abstract, pdf, Copyright © 2003 IEEE].
  11. Raghavan Komondoor and Susan Horwitz. "Using slicing to identify duplication in source code". In Proc. of 8th Int. Symp. on Static Analysis (SAS), (Paris, France, July 16-18, 2001). [abstract, pdf, (c) Springer-Verlag].
  12. Raghavan Komondoor and Susan Horwitz. "Tool Demonstration: Finding duplicated code using program dependences". In Proc. of European Symp. on Programming (ESOP), (Genoa, Italy, April 2-6, 2001). [pdf, (c) Springer-Verlag].
  13. Raghavan Komondoor and Susan Horwitz. "Semantics-Preserving Procedure Extraction". In Proc. of 27th ACM Symp. on Principles of Programming Languages (POPL), (Boston, Massachusetts, January 2000). [ abstract, pdf, © ACM, definitive version].
  14. Yuri Breitbart, Raghavan Komondoor, Rajeev Rastogi, S. Seshadri, and Avi Silberschatz. "Update Propagation Protocols for Replicated Databases". In Proc. of ACM-SIGMOD 1999 Int. Conf. on Management of Data (SIGMOD), (Philadelphia, Pennsylvania, May-June 1999). [ACM link].

Other publications

  1. Komondoor Raghavan, Krishna Nandivada Venkata, Saurabh S Sinha and John Field. "Using slicing to extract online services from batch programs". In IBM Research Technical Report, RI09001, 2009.
  2. Raghavan Komondoor and Susan Horwitz. "Eliminating Duplication in Source Code via Procedure Extraction". UW-Madison Dept. of Computer Sciences Technical Report 1461, December 2002. [abstract, pdf].