BibTeX records: Hari Govind V. K.

download as .bib file

@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    = {Sun, 14 Apr 2024 18:32:16 +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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.