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].

Refereed short papers and tool papers

  1. Rupashree Rangaiyengar, Raghavan Komondoor, and Raveendra Kumar Medicherla. "Multi-Layer Observability for Fault Localization in Microservices Based Systems". In Tool Demonstration track, IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023. [pdf].
  2. Vini Kanvar, Srikanth Tamilselvam, Raghavan Komondoor. "Handling Memory Pointers in Communication between Microservices". In Proc. IEEE International Conference on Web Services (ICWS), (Barcelona, Spain, July 2022). [pdf.]
  3. Stanly Samuel, Deepak D'Souza, and Raghavan Komondoor. "GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces". In Demonstrations Track, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021. [pdf].
  4. 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].

Refereed full-length conference and workshop publications

  1. Aniket Modi, Rohan Tikmany, Tanu Malik, Raghavan Komondoor, Ashish Gehani, and Deepak D’Souza. "Kondo: Efficient Provenance-Driven Data Debloating". To appear in 40th IEEE Int. Conf. on Data Engineering (ICDE), (Utrecht, Netherlands, May 2024).
  2. Stanly Samuel, Deepak D'Souza, and Raghavan Komondoor. "Symbolic Fixpoint Algorithms for Logical LTL Games". In Proc. 38th Int. Conf. on Automated Software Engineering (ASE), (Luxembourg, September 2023). [pdf.]
  3. Sajiv Kumar J S, Raghavan Komondoor. "Controller synthesis for reactive systems with communication delay by formula translation". In Proc. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA), (Singapore, October 2023). [pdf.]
  4. Geetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil, and Nilesh Kharat. "Verification of ORM-based Controllers by Summary Inference". In Proc. 44th International Conference on Software Engineering (ICSE), (Pittsburgh, PA, USA, May 2022). [pdf.]
  5. Snigdha Athaiya, Raghavan Komondoor, and K. Narayan Kumar. "Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains". In Proc. 30th European Symposium on Programming (ESOP), (March 2021). [pdf.]
  6. Raveendra Kumar Medicherla, Raghavan Komondoor, and Abhik Roychoudhury. "Fitness Guided Vulnerability Detection with Greybox Fuzzing". In Proc. 13th Intl. Workshop on Search-Based Software Testing (SBST), (Seoul, South Korea, Oct. 2020.) [pdf.]
  7. Himanshu Arora, Raghavan Komondoor, and G. Ramalingam. "Checking Observational Purity of Procedures". In Proc. Fundamental Approaches to Software Engineering (FASE), (Prague, Czech Replublic, Apr. 2019.) [abstract, pdf.]
  8. Girish M. Rama, Raghavan Komondoor, and Himanshu Sharma. "Refinement in object-sensitivity points-to analysis via slicing". In Proc. ACM SIGPLAN Splash Conference (OOPSLA), (Boston, USA, Nov. 2018). [abstract, pdf, detailed proof.]
  9. Girish M. Rama and Raghavan Komondoor. "Detecting Full Initialization Points of Objects to Support Code Refactorings". In Proc. 24th Asia-Pacific Software Engineering Conference (APSEC), (Nanjing, China, Dec. 2017). [abstract, pdf.]
  10. Snigdha Athaiya and Raghavan Komondoor. "Testing and Analysis of Web Applications using Page Models". In Proc. Int. Symp. on Software Testing and Analysis (ISSTA), (Santa Barbara CA, USA, July 2017). [abstract, pdf.]
  11. 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.]
  12. 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.]
  13. 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.]
  14. 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.]
  15. 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.]
  16. 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].
  17. 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.]
  18. 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.]
  19. 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.]
  20. 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].
  21. 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].
  22. 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].
  23. 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].
  24. 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].
  25. 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].
  26. 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].
  27. 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].
  28. 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].
  29. 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).