Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Hari Govind V. K.
@inproceedings{DBLP:conf/tacas/KGSG24, author = {Hari Govind V. K. and Isabel Garcia{-}Contreras and Sharon Shoham and Arie Gurfinkel}, editor = {Bernd Finkbeiner and Laura Kov{\'{a}}cs}, title = {Speculative {SAT} Modulo {SAT}}, 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 {I}}, series = {Lecture Notes in Computer Science}, volume = {14570}, pages = {43--60}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57246-3\_4}, doi = {10.1007/978-3-031-57246-3\_4}, timestamp = {Sat, 04 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KGSG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/GarciaContrerasKSG23, author = {Isabel Garcia{-}Contreras and Hari Govind V. K. and Sharon Shoham and Arie Gurfinkel}, editor = {Constantin Enea and Akash Lal}, title = {Fast Approximations of Quantifier Elimination}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13965}, pages = {64--86}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37703-7\_4}, doi = {10.1007/978-3-031-37703-7\_4}, timestamp = {Tue, 12 Sep 2023 07:57:21 +0200}, biburl = {https://dblp.org/rec/conf/cav/GarciaContrerasKSG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-10009, author = {Isabel Garcia{-}Contreras and Hari Govind V. K. and Sharon Shoham and Arie Gurfinkel}, title = {Fast Approximations of Quantifier Elimination}, journal = {CoRR}, volume = {abs/2306.10009}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.10009}, doi = {10.48550/ARXIV.2306.10009}, eprinttype = {arXiv}, eprint = {2306.10009}, timestamp = {Thu, 22 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-10009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-17765, author = {Hari Govind V. K. and Isabel Garcia{-}Contreras and Sharon Shoham and Arie Gurfinkel}, title = {Speculative {SAT} Modulo {SAT}}, journal = {CoRR}, volume = {abs/2306.17765}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.17765}, doi = {10.48550/ARXIV.2306.17765}, eprinttype = {arXiv}, eprint = {2306.17765}, timestamp = {Mon, 03 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-17765.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KSG22, author = {Hari Govind V. K. and Sharon Shoham and Arie Gurfinkel}, title = {Solving constrained Horn clauses modulo algebraic data types and recursive functions}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{POPL}}, pages = {1--29}, year = {2022}, url = {https://doi.org/10.1145/3498722}, doi = {10.1145/3498722}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/KSG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2211-12231, author = {Emanuele {De Angelis} and Hari Govind V. K.}, editor = {Geoffrey William Hamilton and Temesghen Kahsai and Maurizio Proietti}, title = {{CHC-COMP} 2022: Competition Report}, booktitle = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022}, series = {{EPTCS}}, volume = {373}, pages = {44--62}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.373.5}, doi = {10.4204/EPTCS.373.5}, timestamp = {Mon, 05 Dec 2022 10:58:58 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-12231.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/KSG21, author = {Hari Govind V. K. and Sharon Shoham and Arie Gurfinkel}, title = {Logical Characterization of Coherent Uninterpreted Programs}, booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven, CT, USA, October 19-22, 2021}, pages = {77--85}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_16}, doi = {10.34727/2021/ISBN.978-3-85448-046-4\_16}, timestamp = {Tue, 07 Dec 2021 17:02:16 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/KSG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-12902, author = {Hari Govind V. K. and Sharon Shoham and Arie Gurfinkel}, title = {Logical Characterization of Coherent Uninterpreted Programs}, journal = {CoRR}, volume = {abs/2107.12902}, year = {2021}, url = {https://arxiv.org/abs/2107.12902}, eprinttype = {arXiv}, eprint = {2107.12902}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-12902.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KrishnanCSG20, author = {Hari Govind Vediramana Krishnan and Yuting Chen and Sharon Shoham and Arie Gurfinkel}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Global Guidance for Local Generalization in Model Checking}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12225}, pages = {101--125}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53291-8\_7}, doi = {10.1007/978-3-030-53291-8\_7}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/KrishnanCSG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/KFG20, author = {Hari Govind V. K. and Grigory Fedyukovich and Arie Gurfinkel}, title = {Word Level Property Directed Reachability}, booktitle = {{IEEE/ACM} International Conference On Computer Aided Design, {ICCAD} 2020, San Diego, CA, USA, November 2-5, 2020}, pages = {107:1--107:9}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1145/3400302.3415708}, doi = {10.1145/3400302.3415708}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/KFG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-13301, author = {Hari Govind V. K. and Yuting Chen and Sharon Shoham and Arie Gurfinkel}, title = {Global Guidance for Local Generalization in Model Checking}, journal = {CoRR}, volume = {abs/2005.13301}, year = {2020}, url = {https://arxiv.org/abs/2005.13301}, eprinttype = {arXiv}, eprint = {2005.13301}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-13301.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KrishnanVGG19, author = {Hari Govind Vediramana Krishnan and Yakir Vizel and Vijay Ganesh and Arie Gurfinkel}, editor = {Isil Dillig and Serdar Tasiran}, title = {Interpolating Strong Induction}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {11562}, pages = {367--385}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25543-5\_21}, doi = {10.1007/978-3-030-25543-5\_21}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/KrishnanVGG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-01583, author = {Hari Govind V. K. and Yakir Vizel and Vijay Ganesh and Arie Gurfinkel}, title = {Interpolating Strong Induction}, journal = {CoRR}, volume = {abs/1906.01583}, year = {2019}, url = {http://arxiv.org/abs/1906.01583}, eprinttype = {arXiv}, eprint = {1906.01583}, timestamp = {Thu, 13 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-01583.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LiangKPCG18, author = {Jia Liang and Hari Govind V. K. and Pascal Poupart and Krzysztof Czarnecki and Vijay Ganesh}, editor = {J{\'{e}}r{\^{o}}me Lang}, title = {An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden}, pages = {5319--5323}, publisher = {ijcai.org}, year = {2018}, url = {https://doi.org/10.24963/ijcai.2018/745}, doi = {10.24963/IJCAI.2018/745}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/LiangKPCG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/LiangKPCG17, author = {Jia Hui Liang and Hari Govind V. K. and Pascal Poupart and Krzysztof Czarnecki and Vijay Ganesh}, editor = {Serge Gaspers and Toby Walsh}, title = {An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10491}, pages = {119--135}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66263-3\_8}, doi = {10.1007/978-3-319-66263-3\_8}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sat/LiangKPCG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.