Hari Govind V. K.

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 14

Top Topics

Quantifier Elimination

Top Venues

Proc. ACM Program. Lang.

Publications

Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
Speculative SAT Modulo SAT. TACAS (1) (2024)
Emanuele De Angelis, Hari Govind V. K.
CHC-COMP 2023: Competition Report. CoRR (2024)
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
Speculative SAT Modulo SAT. CoRR (2023)
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
Fast Approximations of Quantifier Elimination. CAV (2) (2023)
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
Fast Approximations of Quantifier Elimination. CoRR (2023)
Emanuele De Angelis, Hari Govind V. K.
CHC-COMP 2022: Competition Report. HCVS/VPT@ETAPS (2022)
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
Solving constrained Horn clauses modulo algebraic data types and recursive functions. Proc. ACM Program. Lang. 6 (POPL) (2022)
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
Logical Characterization of Coherent Uninterpreted Programs. FMCAD (2021)
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
Logical Characterization of Coherent Uninterpreted Programs. CoRR (2021)
Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel
Word Level Property Directed Reachability. ICCAD (2020)
Hari Govind V. K., Yuting Chen, Sharon Shoham, Arie Gurfinkel
Global Guidance for Local Generalization in Model Checking. CoRR (2020)
Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
Interpolating Strong Induction. CoRR (2019)
Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh
An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. IJCAI (2018)
Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. SAT (2017)