Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rahul Purandare
@article{DBLP:journals/pacmpl/ChitreKP23,
author = {Khushboo Chitre and
Piyus Kedia and
Rahul Purandare},
title = {Rapid: Region-Based Pointer Disambiguation},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1729--1757},
year = {2023},
url = {https://doi.org/10.1145/3622859},
doi = {10.1145/3622859},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChitreKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MehrotraSJP23,
author = {Nikita Mehrotra and
Akash Sharma and
Anmol Jindal and
Rahul Purandare},
title = {Improving Cross-Language Code Clone Detection via Code Representation
Learning and Graph Neural Networks},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {11},
pages = {4846--4868},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3311796},
doi = {10.1109/TSE.2023.3311796},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MehrotraSJP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KhannaSP23,
author = {Dhriti Khanna and
Subodh Sharma and
Rahul Purandare},
title = {Verifying Exception-Handling Code in Concurrent Libraries},
booktitle = {30th Asia-Pacific Software Engineering Conference, {APSEC} 2023, Seoul,
Republic of Korea, December 4-7, 2023},
pages = {405--414},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/APSEC60848.2023.00051},
doi = {10.1109/APSEC60848.2023.00051},
timestamp = {Wed, 10 Apr 2024 20:58:45 +0200},
biburl = {https://dblp.org/rec/conf/apsec/KhannaSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KediaPAR23,
author = {Piyus Kedia and
Rahul Purandare and
Udit Kumar Agarwal and
Rishabh},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {CGuard: Scalable and Precise Object Bounds Protection for {C}},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1307--1318},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598137},
doi = {10.1145/3597926.3598137},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KediaPAR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/indiaSE/2023,
editor = {Sonali Agarwal and
Abhik Roychoudhury and
Rahul Purandare and
Saurabh Tiwari and
Lov Kumar},
title = {16th Innovations in Software Engineering Conference, ISEC2023, Allahabad,
India, February 23-25, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578527},
doi = {10.1145/3578527},
isbn = {979-8-4007-0064-4},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChitreKP22,
author = {Khushboo Chitre and
Piyus Kedia and
Rahul Purandare},
title = {The road not taken: exploring alias analysis based optimizations missed
by the compiler},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {786--810},
year = {2022},
url = {https://doi.org/10.1145/3563316},
doi = {10.1145/3563316},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ChitreKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/JainPS22,
author = {Ridhi Jain and
Rahul Purandare and
Subodh Sharma},
title = {BiRD: Race Detection in Software Binaries under Relaxed Memory Models},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {4},
pages = {58:1--58:29},
year = {2022},
url = {https://doi.org/10.1145/3498538},
doi = {10.1145/3498538},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/JainPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SondhiJRPSP22,
author = {Devika Sondhi and
Mayank Jobanputra and
Divya Rani and
Salil Purandare and
Sakshi Sharma and
Rahul Purandare},
title = {Mining Similar Methods for Test Adaptation},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {7},
pages = {2262--2276},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3057163},
doi = {10.1109/TSE.2021.3057163},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SondhiJRPSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PranaFRLPN22,
author = {Gede Artha Azriadi Prana and
Denae Ford and
Ayushi Rastogi and
David Lo and
Rahul Purandare and
Nachiappan Nagappan},
title = {Including Everyone, Everywhere: Understanding Opportunities and Challenges
of Geographic Gender-Inclusion in {OSS}},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {9},
pages = {3394--3409},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3092813},
doi = {10.1109/TSE.2021.3092813},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PranaFRLPN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MehrotraAGALP22,
author = {Nikita Mehrotra and
Navdha Agarwal and
Piyush Gupta and
Saket Anand and
David Lo and
Rahul Purandare},
title = {Modeling Functional Similarity in Source Code With Graph-Based Siamese
Networks},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {10},
pages = {3771--3789},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3105556},
doi = {10.1109/TSE.2021.3105556},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MehrotraAGALP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KushwahaPD22,
author = {Peeyush Kushwaha and
Rahul Purandare and
Matthew B. Dwyer},
editor = {Thao Dang and
Volker Stolz},
title = {Optimal Finite-State Monitoring of Partial Traces},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {124--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_7},
doi = {10.1007/978-3-031-17196-3\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/KushwahaPD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SondhiGPRKP21a,
author = {Devika Sondhi and
Avyakt Gupta and
Salil Purandare and
Ankit Rana and
Deepanshu Kaushal and
Rahul Purandare},
title = {Dataset to Study Indirectly Dependent Documentation in GitHub Repositories},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {215--216},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00096},
doi = {10.1109/ICSE-COMPANION52605.2021.00096},
timestamp = {Mon, 28 Jun 2021 13:24:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/SondhiGPRKP21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SondhiGPRKP21,
author = {Devika Sondhi and
Avyakt Gupta and
Salil Purandare and
Ankit Rana and
Deepanshu Kaushal and
Rahul Purandare},
title = {On Indirectly Dependent Documentation in the Context of Code Evolution:
{A} Study},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {1498--1509},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00134},
doi = {10.1109/ICSE43902.2021.00134},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SondhiGPRKP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KhannaP021,
author = {Dhriti Khanna and
Rahul Purandare and
Subodh Sharma},
title = {Synthesizing Multi-threaded Tests from Sequential Traces to Detect
Communication Deadlocks},
booktitle = {14th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2021, Porto de Galinhas, Brazil, April 12-16, 2021},
pages = {1--12},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICST49551.2021.00013},
doi = {10.1109/ICST49551.2021.00013},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KhannaP021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-10533,
author = {Piyus Kedia and
Rahul Purandare and
Udit Kumar Agarwal and
Rishabh},
title = {CGuard: Efficient Spatial Safety for {C}},
journal = {CoRR},
volume = {abs/2107.10533},
year = {2021},
url = {https://arxiv.org/abs/2107.10533},
eprinttype = {arXiv},
eprint = {2107.10533},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-10533.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/GuptaMP20,
author = {Piyush Gupta and
Nikita Mehrotra and
Rahul Purandare},
title = {JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2020, Adelaide, Australia, September 28 - October 2, 2020},
pages = {810--813},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSME46990.2020.00099},
doi = {10.1109/ICSME46990.2020.00099},
timestamp = {Tue, 10 Nov 2020 08:52:39 +0100},
biburl = {https://dblp.org/rec/conf/icsm/GuptaMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/KhannaP020,
author = {Dhriti Khanna and
Rahul Purandare and
Subodh Sharma},
title = {Verifying and Testing Concurrent Programs using Constraint Solver
based Approaches},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2020, Adelaide, Australia, September 28 - October 2, 2020},
pages = {834--838},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSME46990.2020.00105},
doi = {10.1109/ICSME46990.2020.00105},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/KhannaP020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-04214,
author = {Peeyush Kushwaha and
Rahul Purandare and
Matthew B. Dwyer},
title = {Optimal Runtime Verification of Finite State Properties over Lossy
Event Streams},
journal = {CoRR},
volume = {abs/2004.04214},
year = {2020},
url = {https://arxiv.org/abs/2004.04214},
eprinttype = {arXiv},
eprint = {2004.04214},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-04214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03844,
author = {Venkatesh Vinayakarao and
Devika Sondhi and
Sumit Keswani and
Rahul Purandare and
Anita Sarma},
title = {Replacements and Replaceables: Making the Case for Code Variants},
journal = {CoRR},
volume = {abs/2006.03844},
year = {2020},
url = {https://arxiv.org/abs/2006.03844},
eprinttype = {arXiv},
eprint = {2006.03844},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-03844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-05090,
author = {Piyush Gupta and
Nikita Mehrotra and
Rahul Purandare},
title = {JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable},
journal = {CoRR},
volume = {abs/2009.05090},
year = {2020},
url = {https://arxiv.org/abs/2009.05090},
eprinttype = {arXiv},
eprint = {2009.05090},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-05090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-00822,
author = {Gede Artha Azriadi Prana and
Denae Ford and
Ayushi Rastogi and
David Lo and
Rahul Purandare and
Nachiappan Nagappan},
title = {Including Everyone, Everywhere: Understanding Opportunities and Challenges
of Geographic Gender-Inclusion in {OSS}},
journal = {CoRR},
volume = {abs/2010.00822},
year = {2020},
url = {https://arxiv.org/abs/2010.00822},
eprinttype = {arXiv},
eprint = {2010.00822},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-00822.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-11228,
author = {Nikita Mehrotra and
Navdha Agarwal and
Piyush Gupta and
Saket Anand and
David Lo and
Rahul Purandare},
title = {Modeling Functional Similarity in Source Code with Graph-Based Siamese
Networks},
journal = {CoRR},
volume = {abs/2011.11228},
year = {2020},
url = {https://arxiv.org/abs/2011.11228},
eprinttype = {arXiv},
eprint = {2011.11228},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-11228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KarreSRRNPK19,
author = {Sai Anirudh Karre and
Lalit Mohan S. and
Y. Raghu Reddy and
K. V. Raghavan and
R. D. Naik and
Rahul Purandare and
Amey Karkare},
title = {A report on 1st Software Engineering Research in India Update Meeting
{(SERI} 2019)},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {3},
pages = {41--42},
year = {2019},
url = {https://doi.org/10.1145/3356773.3356805},
doi = {10.1145/3356773.3356805},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KarreSRRNPK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SondhiRP19,
author = {Devika Sondhi and
Divya Rani and
Rahul Purandare},
title = {Similarities Across Libraries: Making a Case for Leveraging Test Suites},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {79--89},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00018},
doi = {10.1109/ICST.2019.00018},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SondhiRP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SondhiP19,
author = {Devika Sondhi and
Rahul Purandare},
title = {{SEGATE:} Unveiling Semantic Inconsistencies between Code and Specification
of String Inputs},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {200--212},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00028},
doi = {10.1109/ASE.2019.00028},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SondhiP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KhannaSRP18,
author = {Dhriti Khanna and
Subodh Sharma and
C{\'{e}}sar Rodr{\'{\i}}guez and
Rahul Purandare},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Dynamic Symbolic Verification of {MPI} Programs},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {466--484},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_28},
doi = {10.1007/978-3-319-95582-7\_28},
timestamp = {Mon, 04 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KhannaSRP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/JainPVP08,
author = {Ridhi Jain and
Sai Prathik and
Venkatesh Vinayakarao and
Rahul Purandare},
editor = {Andy Zaidman and
Yasutaka Kamei and
Emily Hill},
title = {A search system for mathematical expressions on software binaries},
booktitle = {Proceedings of the 15th International Conference on Mining Software
Repositories, {MSR} 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {487--491},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196398.3196413},
doi = {10.1145/3196398.3196413},
timestamp = {Wed, 11 Aug 2021 17:02:31 +0200},
biburl = {https://dblp.org/rec/conf/msr/JainPVP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AllabadiDBP18,
author = {Garvita Allabadi and
Aritra Dhar and
Ambreen Bashir and
Rahul Purandare},
editor = {Christian Colombo and
Martin Leucker},
title = {{METIS:} Resource and Context-Aware Monitoring of Finite State Properties},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {167--186},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_10},
doi = {10.1007/978-3-030-03769-7\_10},
timestamp = {Sat, 12 Jun 2021 11:01:04 +0200},
biburl = {https://dblp.org/rec/conf/rv/AllabadiDBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/VinayakaraoSPJJ17,
author = {Venkatesh Vinayakarao and
Anita Sarma and
Rahul Purandare and
Shuktika Jain and
Saumya Jain},
editor = {Maarten de Rijke and
Milad Shokouhi and
Andrew Tomkins and
Min Zhang},
title = {{ANNE:} Improving Source Code Search using Entity Retrieval Approach},
booktitle = {Proceedings of the Tenth {ACM} International Conference on Web Search
and Data Mining, {WSDM} 2017, Cambridge, United Kingdom, February
6-10, 2017},
pages = {211--220},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018661.3018691},
doi = {10.1145/3018661.3018691},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsdm/VinayakaraoSPJJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/MehraNPM16,
author = {Rohit Mehra and
Vinayak Naik and
Rahul Purandare and
Kapish Malik},
editor = {Takahiro Hara and
Hiroshi Shigeno},
title = {{KIRKE:} Re-engineering of Web Applications to Mobile Apps},
booktitle = {Proceedings of the 13th International Conference on Mobile and Ubiquitous
Systems: Computing, Networking and Services, MobiQuitous 2016, Hiroshima,
Japan, November 28 - December 1, 2016},
pages = {135--142},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2994374.2994401},
doi = {10.1145/2994374.2994401},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobiquitous/MehraNPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/KochantharaNPP16,
author = {Sangeeth Kochanthara and
Geoffrey Nelissen and
David Pereira and
Rahul Purandare},
title = {{REVERT:} Runtime Verification for Real-Time Systems},
booktitle = {2016 {IEEE} Real-Time Systems Symposium, {RTSS} 2016, Porto, Portugal,
November 29 - December 2, 2016},
pages = {365},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTSS.2016.044},
doi = {10.1109/RTSS.2016.044},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/KochantharaNPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KalraGKDSP16,
author = {Sukrit Kalra and
Ayush Goel and
Dhriti Khanna and
Mohan Dhawan and
Subodh Sharma and
Rahul Purandare},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {{POLLUX:} safely upgrading dependent application libraries},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {290--300},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950345},
doi = {10.1145/2950290.2950345},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KalraGKDSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/VinayakaraoPN15,
author = {Venkatesh Vinayakarao and
Rahul Purandare and
Aditya V. Nori},
editor = {Kenichi Asai and
Kostis Sagonas},
title = {Structurally Heterogeneous Source Code Examples from Unstructured
Knowledge Sources},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
pages = {21--26},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2678015.2682537},
doi = {10.1145/2678015.2682537},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/VinayakaraoPN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DharPDR15,
author = {Aritra Dhar and
Rahul Purandare and
Mohan Dhawan and
Suresh Rangaswamy},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {{CLOTHO:} saving programs from malformed strings and incorrect string-handling},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {555--566},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786877},
doi = {10.1145/2786805.2786877},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DharPDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AnwerAPN14,
author = {Samit Anwer and
Aniya Aggarwal and
Rahul Purandare and
Vinayak Naik},
editor = {Tiziana Catarci and
Aharon Abadi and
Anthony I. Wasserman},
title = {Chiromancer: a tool for boosting Android application performance},
booktitle = {Proceedings of the 1st International Conference on Mobile Software
Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3,
2014},
pages = {62--65},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593902.2593918},
doi = {10.1145/2593902.2593918},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AnwerAPN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PurandareDE13,
author = {Rahul Purandare and
Matthew B. Dwyer and
Sebastian G. Elbaum},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Optimizing monitoring of finite state properties through monitor compaction},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {280--290},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483762},
doi = {10.1145/2483760.2483762},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/PurandareDE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalzonBP13,
author = {Kevin Falzon and
Eric Bodden and
Rahul Purandare},
editor = {Axel Legay and
Saddek Bensalem},
title = {Distributed Finite-State Runtime Monitoring with Aggregated Events},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {94--111},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_6},
doi = {10.1007/978-3-642-40787-1\_6},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FalzonBP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PurandareDED12,
author = {Rahul Purandare and
Javier Darsie and
Sebastian G. Elbaum and
Matthew B. Dwyer},
title = {Extracting conditional component dependence for distributed robotic
systems},
booktitle = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
2012},
pages = {1533--1540},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IROS.2012.6385719},
doi = {10.1109/IROS.2012.6385719},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/PurandareDED12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PurandareDE11,
author = {Rahul Purandare and
Matthew B. Dwyer and
Sebastian G. Elbaum},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Monitoring Finite State Properties: Algorithmic Approaches and Their
Relative Strengths},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {381--395},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_31},
doi = {10.1007/978-3-642-29860-8\_31},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/PurandareDE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PurandareDE10,
author = {Rahul Purandare and
Matthew B. Dwyer and
Sebastian G. Elbaum},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Monitor optimization via stutter-equivalent loop transformation},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {270--285},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869483},
doi = {10.1145/1869459.1869483},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PurandareDE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DwyerPP10,
author = {Matthew B. Dwyer and
Rahul Purandare and
Suzette Person},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification in Context: Can Optimizing Error Detection Improve
Fault Diagnosis?},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {36--50},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_4},
doi = {10.1007/978-3-642-16612-9\_4},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/DwyerPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DwyerP08,
author = {Matthew B. Dwyer and
Rahul Purandare},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Residual Checking of Safety Properties},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {1--2},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_1},
doi = {10.1007/978-3-540-85114-1\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/DwyerP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DwyerEPP07,
author = {Matthew B. Dwyer and
Sebastian G. Elbaum and
Suzette Person and
Rahul Purandare},
title = {Parallel Randomized State-Space Search},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.62},
doi = {10.1109/ICSE.2007.62},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DwyerEPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DwyerP07,
author = {Matthew B. Dwyer and
Rahul Purandare},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Residual dynamic typestate analysis exploiting static analysis: results
to reformulate and reduce the cost of dynamic analysis},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {124--133},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321651},
doi = {10.1145/1321631.1321651},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DwyerP07.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.
last updated on 2024-04-25 05:59 CEST 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:
