Journal publications
- 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.]
- 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
- 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].
- 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.]
- 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].
- 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
- 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).
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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.]
- 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].
- 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.]
- 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.]
- 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.]
- 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].
- 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].
- 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].
- 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].
- 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].
- 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].
- 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].
- 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].
- 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].
- 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).