Journal publications

  1. Amogh Margoor and Raghavan Komondoor. "Two techniques to improve the precision of a demand-driven null-dereference verification approach". Science of Computer Programming, 98:645-679, 2015. [abstract, pdf© Elsevier.]
  2. 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].

Conference publications

  1. Snigdha Athaiya and Raghavan Komondoor. "Testing and Analysis of Web Applications using Page Models". To appear in Proc. Int. Symp. on Software Testing and Analysis (ISSTA), (Santa Barbara CA, USA, July 2017).
  2. Tejas Patil, Raghavan Komondoor, Deepak D’Souza, and Indrajit Bhattacharya. "An Optimization Approach for Matching Textual Domain Models with Existing Code". In Proc. 32nd Int. Conf. on Software Maintenance and Evolution (ICSME), (Raleigh NC, USA, October 2016).[abstract, pdf.]
  3. Raveendra Kumar Medicherla, Raghavan Komondoor, and S. Narendran. "Program Specialization and Verification using File Format Specifications". In Proc. 31st Int. Conf. on Software Maintenance and Evolution (ICSME), (Bremen, Germany, September 2015). [abstract, pdf.]
  4. Raveendra Kumar Medicherla and Raghavan Komondoor. "Precision Vs. Scalability: Context Sensitive Analysis With Prefix Approximation". In Proc. 22nd IEEE Int. Conf. on Softw. Analysis, Evolution, and Reengg. (SANER), (Montreal, Canada, March 2015). [abstract, pdf.]
  5. Girish M. Rama and Raghavan Komondoor. "A Dynamic Analysis to Support Object-Sharing Code Refactorings". In Proc. 29th Int. Conf. on Automated Software Engineering (ASE), (Vasteras, Sweden, September 2014). [abstract, pdf.]
  6. K. Vasanta Lakshmi, Aravind Acharya, and Raghavan Komondoor. "Checking Liveness Properties of Presburger Counter Systems using Reachability Analysis". In Proc. 19th Int. Symp. on Formal Methods (FM), (Singapore, May 2014). [abstract, pdf © Springer-Verlag, associated technical report.]
  7. Raghavan Komondoor, Indrajit Bhattacharya, Deepak D'Souza, and Sachin Kale. "Using Relationships for Matching Textual Domain Models with Existing Code". In Proc. 20th Working Conf. on Reverse Engineering (WCRE), (Koblenz, Germany, Oct. 2013). [abstract, pdf © IEEE, associated case studies].
  8. Raghavan Komondoor. "Precise slicing in imperative programs via term-rewriting and abstract interpretation". In Proc. 20th Static Analysis Symposium (SAS), (Seattle, USA, Jun. 2013). [abstract, pdf © Springer-Verlag.]
  9. Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, and John Field. "Identifying Services from Legacy Batch Applications". In Proc. India Software Engineering Conference (ISEC), (Kanpur, India, Feb. 2012). [pdf © ACM.]
  10. Raghavan Komondoor, K. Vasanta Lakshmi, Deva Seetharam, and Sudha Balodia. "Packet flow analysis in IP networks using data-flow analysis". In Proc. India Software Engineering Conference (ISEC), (Kanpur, India, Feb. 2012).[pdf © ACM, longer version.]
  11. Ravichandhran Madhavan and Raghavan Komondoor. "Null dereference verification via over-approximated weakest pre-conditions analysis". In Proc. OOPSLA, (Portland, OR, USA, Oct. 2011), pages 1033-1052. [abstract, pdf with minor corrections and updated results over published version © ACM, software].
  12. 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 © IEEE, extended technical report].
  13. 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 © IEEE].
  14. 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 © IEEE].
  15. 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].
  16. 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].
  17. Raghavan Komondoor and Susan Horwitz. "Effective, Automatic Procedure Extraction". In Proc. of 11th Int. Workshop on Program Comprehension (IWPC), (Portland, OR, USA, May 2003). [abstract, pdf © IEEE].
  18. 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 © Springer-Verlag, software].
  19. 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 © Springer-Verlag].
  20. Raghavan Komondoor and Susan Horwitz. "Semantics-Preserving Procedure Extraction". In Proc. of 27th ACM Symp. on Principles of Programming Languages (POPL), (Boston, USA, January 2000). [ abstract, pdf © ACM].
  21. 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, USA, May-June 1999).

Other publications

  1. M. Raveendra Kumar, Raghavan Komondoor. "Static Analysis of File-Processing Programs using File Format Specifications". arXiv:1501.04730 [cs.PL].