Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Raghavan Komondoor"
download as .bib file
@proceedings{DBLP:conf/indiaSE/2024,
editor = {Sujit Kumar Charkrabarti and
Raghavan Komondoor and
Raveendra Kumar Medicherla and
Aseem Rastogi and
Sudipto Ghosh},
title = {Proceedings of the 17th Innovations in Software Engineering Conference,
{ISEC} 2024, Bangalore, India, February 22-24, 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3641399},
doi = {10.1145/3641399},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KumarK23,
author = {J. S. Sajiv Kumar and
Raghavan Komondoor},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Controller Synthesis for Reactive Systems with Communication Delay
by Formula Translation},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14215},
pages = {292--311},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_14},
doi = {10.1007/978-3-031-45329-8\_14},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KumarK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SamuelDK23,
author = {Stanly Samuel and
Deepak D'Souza and
Raghavan Komondoor},
title = {Symbolic Fixpoint Algorithms for Logical {LTL} Games},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {698--709},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00212},
doi = {10.1109/ASE56229.2023.00212},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SamuelDK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/RangaiyengarKM23,
author = {Rupashree Rangaiyengar and
Raghavan Komondoor and
Raveendra Kumar Medicherla},
editor = {Tao Zhang and
Xin Xia and
Nicole Novielli},
title = {Multi-Layer Observability for Fault Localization in Microservices
Based Systems},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2023, Taipa, Macao, March 21-24, 2023},
pages = {733--737},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SANER56733.2023.00081},
doi = {10.1109/SANER56733.2023.00081},
timestamp = {Fri, 24 Nov 2023 12:46:34 +0100},
biburl = {https://dblp.org/rec/conf/wcre/RangaiyengarKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-02427,
author = {Stanly Samuel and
Deepak D'Souza and
Raghavan Komondoor},
title = {Towards Efficient Controller Synthesis Techniques for Logical {LTL}
Games},
journal = {CoRR},
volume = {abs/2306.02427},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.02427},
doi = {10.48550/ARXIV.2306.02427},
eprinttype = {arXiv},
eprint = {2306.02427},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-02427.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChawlaAKBK22,
author = {Geetam Chawla and
Navneet Aman and
Raghavan Komondoor and
Ashish Bokil and
Nilesh Kharat},
title = {Verification of ORM-based Controllers by Summary Inference},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {2340--2351},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510148},
doi = {10.1145/3510003.3510148},
timestamp = {Mon, 18 Jul 2022 16:47:42 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChawlaAKBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/KanvarTK22,
author = {Vini Kanvar and
Srikanth Tamilselvam and
Raghavan Komondoor},
editor = {Claudio Agostino Ardagna and
Nimanthi L. Atukorala and
Boualem Benatallah and
Athman Bouguettaya and
Fabio Casati and
Carl K. Chang and
Rong N. Chang and
Ernesto Damiani and
Chirine Ghedira Guegan and
Robert Ward and
Fatos Xhafa and
Xiaofei Xu and
Jia Zhang},
title = {Handling Memory Pointers in Communication between Microservices},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2022, Barcelona,
Spain, July 10-16, 2022},
pages = {85--90},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICWS55610.2022.00027},
doi = {10.1109/ICWS55610.2022.00027},
timestamp = {Fri, 23 Jun 2023 11:36:46 +0200},
biburl = {https://dblp.org/rec/conf/icws/KanvarTK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AthaiyaKK21,
author = {Snigdha Athaiya and
Raghavan Komondoor and
K. Narayan Kumar},
editor = {Nobuko Yoshida},
title = {Data Flow Analysis of Asynchronous Systems using Infinite Abstract
Domains},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {30--58},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_2},
doi = {10.1007/978-3-030-72019-3\_2},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/AthaiyaKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SamuelDK21,
author = {Stanly Samuel and
Deepak D'Souza and
Raghavan Komondoor},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {GenSys: a scalable fixed-point engine for maximal controller synthesis
over infinite state spaces},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1585--1589},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3473126},
doi = {10.1145/3468264.3473126},
timestamp = {Sat, 21 Aug 2021 19:12:34 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SamuelDK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-10233,
author = {Snigdha Athaiya and
Raghavan Komondoor and
K. Narayan Kumar},
title = {Data Flow Analysis of Asynchronous Systems using Infinite Abstract
Domains},
journal = {CoRR},
volume = {abs/2101.10233},
year = {2021},
url = {https://arxiv.org/abs/2101.10233},
eprinttype = {arXiv},
eprint = {2101.10233},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-10233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-10466,
author = {Raveendra Kumar Medicherla and
Malathy Nagalakshmi and
Tanya Sharma and
Raghavan Komondoor},
title = {HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation
and Fuzzing},
journal = {CoRR},
volume = {abs/2104.10466},
year = {2021},
url = {https://arxiv.org/abs/2104.10466},
eprinttype = {arXiv},
eprint = {2104.10466},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-10466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08794,
author = {Stanly Samuel and
Deepak D'Souza and
Raghavan Komondoor},
title = {GenSys: {A} Scalable Fixed-point Engine for Maximal Controller Synthesis
over Infinite State Spaces},
journal = {CoRR},
volume = {abs/2107.08794},
year = {2021},
url = {https://arxiv.org/abs/2107.08794},
eprinttype = {arXiv},
eprint = {2107.08794},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08794.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MedicherlaKR20,
author = {Raveendra Kumar Medicherla and
Raghavan Komondoor and
Abhik Roychoudhury},
title = {Fitness Guided Vulnerability Detection with Greybox Fuzzing},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020},
pages = {513--520},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387940.3391457},
doi = {10.1145/3387940.3391457},
timestamp = {Fri, 16 Oct 2020 11:06:55 +0200},
biburl = {https://dblp.org/rec/conf/icse/MedicherlaKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/Komondoor20,
author = {Raghavan Komondoor},
editor = {Sanjeev Jain and
Atul Gupta and
David Lo and
Diptikalyan Saha and
Richa Sharma},
title = {A Report on the PhD Symposium Track: {ISEC} 2020},
booktitle = {{ISEC} 2020: 13th Innovations in Software Engineering Conference,
Jabalpur, India, February 27-29, 2020},
pages = {24:1--24:2},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385032.3385058},
doi = {10.1145/3385032.3385058},
timestamp = {Fri, 27 Mar 2020 11:20:30 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/Komondoor20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AroraKR19,
author = {Himanshu Arora and
Raghavan Komondoor and
G. Ramalingam},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Checking Observational Purity of Procedures},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {228--243},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_13},
doi = {10.1007/978-3-030-16722-6\_13},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/AroraKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05436,
author = {Himanshu Arora and
Raghavan Komondoor and
G. Ramalingam},
title = {Checking Observational Purity of Procedures},
journal = {CoRR},
volume = {abs/1902.05436},
year = {2019},
url = {http://arxiv.org/abs/1902.05436},
eprinttype = {arXiv},
eprint = {1902.05436},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RamaKS18,
author = {Girish Maskeri Rama and
Raghavan Komondoor and
Himanshu Sharma},
title = {Refinement in object-sensitivity points-to analysis via slicing},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {142:1--142:27},
year = {2018},
url = {https://doi.org/10.1145/3276512},
doi = {10.1145/3276512},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RamaKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/RamaK17,
author = {Girish Maskeri Rama and
Raghavan Komondoor},
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {Detecting Full Initialization Points of Objects to Support Code Refactorings},
booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/APSEC.2017.17},
doi = {10.1109/APSEC.2017.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/RamaK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AthaiyaK17,
author = {Snigdha Athaiya and
Raghavan Komondoor},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Testing and analysis of web applications using page models},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {181--191},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092734},
doi = {10.1145/3092703.3092734},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/AthaiyaK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/PatilKDB16,
author = {Tejas Patil and
Raghavan Komondoor and
Deepak D'Souza and
Indrajit Bhattacharya},
title = {An Optimization Approach for Matching Textual Domain Models with Existing
Code},
booktitle = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
pages = {133--143},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICSME.2016.48},
doi = {10.1109/ICSME.2016.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/PatilKDB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Raghavan16,
author = {Komondoor V. Raghavan},
editor = {Ravindra Naik and
Raveendra Kumar Medicherla and
Ansuman Banerjee},
title = {Static analysis to enable verification and transformation of data-intensive
business applications},
booktitle = {Proceedings of the International Workshop on Formal Methods for Analysis
of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September
4, 2016},
pages = {4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975941.2990290},
doi = {10.1145/2975941.2990290},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Raghavan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MargoorK15,
author = {Amogh Margoor and
Raghavan Komondoor},
title = {Two techniques to improve the precision of a demand-driven null-dereference
verification approach},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {645--679},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.09.006},
doi = {10.1016/J.SCICO.2014.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MargoorK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/MedicherlaKN15,
author = {Raveendra Kumar Medicherla and
Raghavan Komondoor and
S. Narendran},
editor = {Rainer Koschke and
Jens Krinke and
Martin P. Robillard},
title = {Program specialization and verification using file format specifications},
booktitle = {2015 {IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2015, Bremen, Germany, September 29 - October 1, 2015},
pages = {191--200},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSM.2015.7332465},
doi = {10.1109/ICSM.2015.7332465},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/MedicherlaKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/MedicherlaK15,
author = {Raveendra Kumar Medicherla and
Raghavan Komondoor},
editor = {Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Bram Adams and
Alexander Serebrenik},
title = {Precision vs. scalability: Context sensitive analysis with prefix
approximation},
booktitle = {22nd {IEEE} International Conference on Software Analysis, Evolution,
and Reengineering, {SANER} 2015, Montreal, QC, Canada, March 2-6,
2015},
pages = {281--290},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SANER.2015.7081838},
doi = {10.1109/SANER.2015.7081838},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/MedicherlaK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KumarKN15,
author = {M. Raveendra Kumar and
Raghavan Komondoor and
S. Narendran},
title = {Static Analysis of File-Processing Programs using File Format Specifications},
journal = {CoRR},
volume = {abs/1501.04730},
year = {2015},
url = {http://arxiv.org/abs/1501.04730},
eprinttype = {arXiv},
eprint = {1501.04730},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KumarKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LakshmiAK14,
author = {K. Vasanta Lakshmi and
Aravind Acharya and
Raghavan Komondoor},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Checking Liveness Properties of Presburger Counter Systems Using Reachability
Analysis},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {335--350},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_24},
doi = {10.1007/978-3-319-06410-9\_24},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/LakshmiAK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RamaK14,
author = {Girish Maskeri Rama and
Raghavan Komondoor},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {A dynamic analysis to support object-sharing code refactorings},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {713--724},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2642992},
doi = {10.1145/2642937.2642992},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RamaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Komondoor13,
author = {Raghavan Komondoor},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Precise Slicing in Imperative Programs via Term-Rewriting and Abstract
Interpretation},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {259--282},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_15},
doi = {10.1007/978-3-642-38856-9\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Komondoor13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/KomondoorBDK13,
author = {Raghavan Komondoor and
Indrajit Bhattacharya and
Deepak D'Souza and
Sachin Kale},
editor = {Ralf L{\"{a}}mmel and
Rocco Oliveto and
Romain Robbes},
title = {Using relationships for matching textual domain models with existing
code},
booktitle = {20th Working Conference on Reverse Engineering, {WCRE} 2013, Koblenz,
Germany, October 14-17, 2013},
pages = {371--380},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/WCRE.2013.6671312},
doi = {10.1109/WCRE.2013.6671312},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/KomondoorBDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LakshmiAK13,
author = {K. Vasanta Lakshmi and
Aravind Acharya and
Raghavan Komondoor},
title = {Checking Temporal Properties of Presburger Counter Systems using Reachability
Analysis},
journal = {CoRR},
volume = {abs/1312.1070},
year = {2013},
url = {http://arxiv.org/abs/1312.1070},
eprinttype = {arXiv},
eprint = {1312.1070},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LakshmiAK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/KomondoorLSB12,
author = {Raghavan Komondoor and
K. Vasanta Lakshmi and
Deva P. Seetharam and
Sudha Balodia},
editor = {Sanjeev K. Aggarwal and
T. V. Prabhakar and
Vasudeva Varma and
Srinivas Padmanabhuni},
title = {Packet flow analysis in {IP} networks using data-flow analysis},
booktitle = {Proceeding of the 5th Annual India Software Engineering Conference,
{ISEC} 2012, Kanpur, India, February 22-25, 2012},
pages = {49--52},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2134254.2134263},
doi = {10.1145/2134254.2134263},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/KomondoorLSB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/KomondoorNSF12,
author = {Raghavan Komondoor and
V. Krishna Nandivada and
Saurabh Sinha and
John Field},
editor = {Sanjeev K. Aggarwal and
T. V. Prabhakar and
Vasudeva Varma and
Srinivas Padmanabhuni},
title = {Identifying services from legacy batch applications},
booktitle = {Proceeding of the 5th Annual India Software Engineering Conference,
{ISEC} 2012, Kanpur, India, February 22-25, 2012},
pages = {13--22},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2134254.2134257},
doi = {10.1145/2134254.2134257},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/KomondoorNSF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MadhavanK11,
author = {Ravichandhran Madhavan and
Raghavan Komondoor},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Null dereference verification via over-approximated weakest pre-conditions
analysis},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {1033--1052},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048144},
doi = {10.1145/2048066.2048144},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MadhavanK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-6808,
author = {Raghavan Komondoor and
K. Vasanta Lakshmi and
Deva P. Seetharam and
Sudha Balodia},
title = {Packet flow analysis in {IP} networks via abstract interpretation},
journal = {CoRR},
volume = {abs/1111.6808},
year = {2011},
url = {http://arxiv.org/abs/1111.6808},
eprinttype = {arXiv},
eprint = {1111.6808},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-6808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/GuptaDKR10,
author = {Hari S. Gupta and
Deepak D'Souza and
Raghavan Komondoor and
Girish M. Rama},
editor = {Radu Marinescu and
Michele Lanza and
Andrian Marcus},
title = {A case study in matching service descriptions to implementations in
an existing system},
booktitle = {26th {IEEE} International Conference on Software Maintenance {(ICSM}
2010), September 12-18, 2010, Timisoara, Romania},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSM.2010.5609688},
doi = {10.1109/ICSM.2010.5609688},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/GuptaDKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-2458,
author = {Hari S. Gupta and
Deepak D'Souza and
Raghavan Komondoor and
Girish M. Rama},
title = {A Case Study in Matching Service Descriptions to Implementations in
an Existing System},
journal = {CoRR},
volume = {abs/1008.2458},
year = {2010},
url = {http://arxiv.org/abs/1008.2458},
eprinttype = {arXiv},
eprint = {1008.2458},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/KomondoorR07,
author = {Raghavan Komondoor and
G. Ramalingam},
title = {Recovering Data Models via Guarded Dependences},
booktitle = {14th Working Conference on Reverse Engineering {(WCRE} 2007), 28-31
October 2007, Vancouver, BC, Canada},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WCRE.2007.40},
doi = {10.1109/WCRE.2007.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/KomondoorR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/SinhaRK07,
author = {Saurabh Sinha and
G. Ramalingam and
Raghavan Komondoor},
title = {Parametric Process Model Inference},
booktitle = {14th Working Conference on Reverse Engineering {(WCRE} 2007), 28-31
October 2007, Vancouver, BC, Canada},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WCRE.2007.36},
doi = {10.1109/WCRE.2007.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/SinhaRK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/ChandraVFHKKNRX06,
author = {Satish Chandra and
Jackie De Vries and
John Field and
Howard M. Hess and
Manivannan Kalidasan and
Raghavan Komondoor and
Frans Nieuwerth and
Ganesan Ramalingam and
Justin Xue},
title = {Technical forum: Using logical data models for understanding and transforming
legacy business applications},
journal = {{IBM} Syst. J.},
volume = {45},
number = {3},
pages = {647--655},
year = {2006},
url = {https://doi.org/10.1147/sj.453.0647},
doi = {10.1147/SJ.453.0647},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ibmsj/ChandraVFHKKNRX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RamalingamKFS06,
author = {Ganesan Ramalingam and
Raghavan Komondoor and
John Field and
Saurabh Sinha},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Semantics-based reverse engineering of object-oriented data models},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {192--201},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134313},
doi = {10.1145/1134285.1134313},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RamalingamKFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KomondoorRCF05,
author = {Raghavan Komondoor and
Ganesan Ramalingam and
Satish Chandra and
John Field},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Dependent Types for Program Understanding},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {157--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_11},
doi = {10.1007/978-3-540-31980-1\_11},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KomondoorRCF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/KomondoorH03,
author = {Raghavan Komondoor and
Susan Horwitz},
title = {Effective, Automatic Procedure Extraction},
booktitle = {11th International Workshop on Program Comprehension {(IWPC} 2003),
May 10-11, 2003, Portland, Oregon, {USA}},
pages = {33--43},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WPC.2003.1199187},
doi = {10.1109/WPC.2003.1199187},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/KomondoorH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KomondoorH01,
author = {Raghavan Komondoor and
Susan Horwitz},
editor = {David Sands},
title = {Tool Demonstration: Finding Duplicated Code Using Program Dependences},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {383--386},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_25},
doi = {10.1007/3-540-45309-1\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/KomondoorH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KomondoorH01,
author = {Raghavan Komondoor and
Susan Horwitz},
editor = {Patrick Cousot},
title = {Using Slicing to Identify Duplication in Source Code},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {40--56},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_3},
doi = {10.1007/3-540-47764-0\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/KomondoorH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KomondoorH00,
author = {Raghavan Komondoor and
Susan Horwitz},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Semantics-Preserving Procedure Extraction},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {155--169},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325713},
doi = {10.1145/325694.325713},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KomondoorH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BreitbartKRSS99,
author = {Yuri Breitbart and
Raghavan Komondoor and
Rajeev Rastogi and
S. Seshadri and
Abraham Silberschatz},
editor = {Alex Delis and
Christos Faloutsos and
Shahram Ghandeharizadeh},
title = {Update Propagation Protocols For Replicated Databases},
booktitle = {{SIGMOD} 1999, Proceedings {ACM} {SIGMOD} International Conference
on Management of Data, June 1-3, 1999, Philadelphia, Pennsylvania,
{USA}},
pages = {97--108},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/304182.304191},
doi = {10.1145/304182.304191},
timestamp = {Fri, 12 Mar 2021 14:14:34 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/BreitbartKRSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-18 17:52 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
