Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kumar Madhukar
@inproceedings{DBLP:conf/tacas/MettaKMVC24,
author = {Ravindra Metta and
Hrishikesh Karmarkar and
Kumar Madhukar and
R. Venkatesh and
Supratik Chakraborty},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {{PROTON:} PRObes for Termination Or Not (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {393--398},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_27},
doi = {10.1007/978-3-031-57256-2\_27},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MettaKMVC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ShenoySMSS23,
author = {Akshatha Shenoy and
Sumanth Prabhu S and
Kumar Madhukar and
Ron Shemer and
Mandayam K. Srivas},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Automated Property Directed Self Composition},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {139--158},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_7},
doi = {10.1007/978-3-031-45332-8\_7},
timestamp = {Tue, 24 Oct 2023 16:55:54 +0200},
biburl = {https://dblp.org/rec/conf/atva/ShenoySMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SiddiquiMM23,
author = {Sanaa Siddiqui and
Ravindra Metta and
Kumar Madhukar},
title = {Towards Multi-Language Static Code Analysis},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
pages = {81--82},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSREW60843.2023.00051},
doi = {10.1109/ISSREW60843.2023.00051},
timestamp = {Tue, 14 Nov 2023 16:09:48 +0100},
biburl = {https://dblp.org/rec/conf/issre/SiddiquiMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KhanMS23,
author = {Tooba Khan and
Kumar Madhukar and
Subodh Vishnu Sharma},
title = {Efficient Adversarial Input Generation via Neural Net Patching},
booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2023, Singapore, October 24-27, 2023},
pages = {30--38},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PRDC59308.2023.00013},
doi = {10.1109/PRDC59308.2023.00013},
timestamp = {Tue, 23 Jan 2024 09:45:30 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KhanMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MukhopadhyayMS22,
author = {Diganta Mukhopadhyay and
Kumar Madhukar and
Mandayam K. Srivas},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Permutation Invariance of Deep Neural Networks with ReLUs},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {318--337},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_17},
doi = {10.1007/978-3-031-06773-0\_17},
timestamp = {Mon, 23 May 2022 16:36:23 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MukhopadhyayMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-08706,
author = {Avriti Chauhan and
Mohammad Afzal and
Hrishikesh Karmarkar and
Yizhak Yisrael Elboher and
Kumar Madhukar and
Guy Katz},
title = {Efficiently Finding Adversarial Examples with {DNN} Preprocessing},
journal = {CoRR},
volume = {abs/2211.08706},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.08706},
doi = {10.48550/ARXIV.2211.08706},
eprinttype = {arXiv},
eprint = {2211.08706},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-08706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-16808,
author = {Tooba Khan and
Kumar Madhukar and
Subodh Vishnu Sharma},
title = {Efficient Adversarial Input Generation via Neural Net Patching},
journal = {CoRR},
volume = {abs/2211.16808},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16808},
doi = {10.48550/ARXIV.2211.16808},
eprinttype = {arXiv},
eprint = {2211.16808},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SFMD21,
author = {Sumanth Prabhu S and
Grigory Fedyukovich and
Kumar Madhukar and
Deepak D'Souza},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Specification synthesis with constrained Horn clauses},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {1203--1217},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454104},
doi = {10.1145/3453483.3454104},
timestamp = {Thu, 09 Dec 2021 07:39:43 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SFMD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01864,
author = {Manish Goyal and
Muqsit Azeem and
Kumar Madhukar and
R. Venkatesh},
title = {Direct Construction of Program Alignment Automata for Equivalence
Checking},
journal = {CoRR},
volume = {abs/2109.01864},
year = {2021},
url = {https://arxiv.org/abs/2109.01864},
eprinttype = {arXiv},
eprint = {2109.01864},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-09578,
author = {Diganta Mukhopadhyay and
Kumar Madhukar and
Mandayam K. Srivas},
title = {Permutation Invariance of Deep Neural Networks with ReLUs},
journal = {CoRR},
volume = {abs/2110.09578},
year = {2021},
url = {https://arxiv.org/abs/2110.09578},
eprinttype = {arXiv},
eprint = {2110.09578},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-09578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AnilPMV20,
author = {Jude K. Anil and
Sumanth Prabhu S and
Kumar Madhukar and
R. Venkatesh},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Using hypersafety verification for proving correctness of programming
assignments},
booktitle = {{ICSE-NIER} 2020: 42nd International Conference on Software Engineering,
New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July,
2020},
pages = {81--84},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377816.3381747},
doi = {10.1145/3377816.3381747},
timestamp = {Mon, 03 May 2021 16:42:27 +0200},
biburl = {https://dblp.org/rec/conf/icse/AnilPMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FedyukovichPMG19,
author = {Grigory Fedyukovich and
Sumanth Prabhu and
Kumar Madhukar and
Aarti Gupta},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Quantified Invariants via Syntax-Guided Synthesis},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {259--277},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_14},
doi = {10.1007/978-3-030-25540-4\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FedyukovichPMG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FedyukovichPMG18,
author = {Grigory Fedyukovich and
Sumanth Prabhu and
Kumar Madhukar and
Aarti Gupta},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Solving Constrained Horn Clauses Using Syntax and Data},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603011},
doi = {10.23919/FMCAD.2018.8603011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/FedyukovichPMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AzeemMV18,
author = {Muqsit Azeem and
Kumar Madhukar and
R. Venkatesh},
editor = {Andrea Zisman and
Sven Apel},
title = {Generalizing specific-instance interpolation proofs with SyGuS},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
New Ideas and Emerging Results, {ICSE} {(NIER)} 2018, Gothenburg,
Sweden, May 27 - June 03, 2018},
pages = {57--60},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183399.3183412},
doi = {10.1145/3183399.3183412},
timestamp = {Sat, 30 Sep 2023 09:46:46 +0200},
biburl = {https://dblp.org/rec/conf/icse/AzeemMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PrabhuMV18,
author = {Sumanth Prabhu and
Kumar Madhukar and
R. Venkatesh},
editor = {Andreas Podelski},
title = {Efficiently Learning Safety Proofs from Appearance as well as Behaviours},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {326--343},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_20},
doi = {10.1007/978-3-319-99725-4\_20},
timestamp = {Mon, 28 Aug 2023 21:17:53 +0200},
biburl = {https://dblp.org/rec/conf/sas/PrabhuMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MadhukarSS17,
author = {Kumar Madhukar and
Peter Schrammel and
Mandayam K. Srivas},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Compositional Safety Refutation Techniques},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {164--183},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_12},
doi = {10.1007/978-3-319-68167-2\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/MadhukarSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/YeolekarMBV17,
author = {Anand Yeolekar and
Kumar Madhukar and
Dipali Bhutada and
R. Venkatesh},
editor = {T. V. Gopal and
Gerhard J{\"{a}}ger and
Silvia Steila},
title = {Sequentialization Using Timestamps},
booktitle = {Theory and Applications of Models of Computation - 14th Annual Conference,
{TAMC} 2017, Bern, Switzerland, April 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10185},
pages = {684--696},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-55911-7\_49},
doi = {10.1007/978-3-319-55911-7\_49},
timestamp = {Thu, 19 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tamc/YeolekarMBV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MadhukarSWKM15,
author = {Kumar Madhukar and
Mandayam K. Srivas and
Bj{\"{o}}rn Wachter and
Daniel Kroening and
Ravindra Metta},
editor = {Wolfgang Nebel and
David Atienza},
title = {Verifying synchronous reactive systems using lazy abstraction},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {1571--1574},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2757175},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/MadhukarSWKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MadhukarWKLS15,
author = {Kumar Madhukar and
Bj{\"{o}}rn Wachter and
Daniel Kroening and
Matt Lewis and
Mandayam K. Srivas},
editor = {Roope Kaivola and
Thomas Wahl},
title = {Accelerating Invariant Generation},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {105--111},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542259},
doi = {10.1109/FMCAD.2015.7542259},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MadhukarWKLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MadhukarMSV13,
author = {Kumar Madhukar and
Ravindra Metta and
Ulka Shrotri and
R. Venkatesh},
title = {Trace based reachability verification for statecharts},
booktitle = {1st {FME} Workshop on Formal Methods in Software Engineering, FormaliSE
2013, San Francisco, CA, USA, May 25, 2013},
pages = {22--28},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/FormaliSE.2013.6612273},
doi = {10.1109/FORMALISE.2013.6612273},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MadhukarMSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MadhukarMSV13,
author = {Kumar Madhukar and
Ravindra Metta and
Priyanka Singh and
R. Venkatesh},
title = {Reachability Verification of Rhapsody Statecharts},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {96--101},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.73},
doi = {10.1109/ICSTW.2013.73},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MadhukarMSV13.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 02:41 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:
