Hari Govind V. K.

According to our database, Hari Govind V. K. authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Global guidance for local generalization in model checking.

Hari Govind Vediramana Krishnan, YuTing Chen, Sharon Shoham, Arie Gurfinkel

Formal Methods Syst. Des., October, 2024

Speculative SAT Modulo SAT.

Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

CHC-COMP 2023: Competition Report.

Emanuele De Angelis, Hari Govind V. K.

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

Fast Approximations of Quantifier Elimination.

Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Solving constrained Horn clauses modulo algebraic data types and recursive functions.

Hari Govind V. K., Sharon Shoham, Arie Gurfinkel

Proc. ACM Program. Lang., 2022

CHC-COMP 2022: Competition Report.

Emanuele De Angelis, Hari Govind V. K.

Proceedings of the Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, 2022

2021

Logical Characterization of Coherent Uninterpreted Programs.

Hari Govind V. K., Sharon Shoham, Arie Gurfinkel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Word Level Property Directed Reachability.

Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Global Guidance for Local Generalization in Model Checking.

Hari Govind Vediramana Krishnan, Yuting Chen, Sharon Shoham, Arie Gurfinkel

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Interpolating Strong Induction.

Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate.

Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.

Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017