| An empirical study of branching heuristics through the lens of global learning rate JH Liang, HG VK, P Poupart, K Czarnecki, V Ganesh Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017 | 54 | 2017 |
| Global guidance for local generalization in model checking HG Vediramana Krishnan, YT Chen, S Shoham, A Gurfinkel Formal Methods in System Design, 1-29, 2023 | 29 | 2023 |
| Interpolating strong induction HG Vediramana Krishnan, Y Vizel, V Ganesh, A Gurfinkel Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 24 | 2019 |
| Solving constrained Horn clauses modulo algebraic data types and recursive functions. HG VK, S Shoham, A Gurfinkel Proc. ACM Program. Lang. 6 (POPL), 1-29, 2022 | 20 | 2022 |
| CHC-COMP 2023: Competition Report E De Angelis arXiv preprint arXiv:2404.14923, 2024 | 12 | 2024 |
| Word level property directed reachability H Govind, G Fedyukovich, A Gurfinkel International Conference on Computer Aided Design, 2020 | 5 | 2020 |
| Logical characterization of coherent uninterpreted programs VKH Govind, S Shoham, A Gurfinkel 2021 Formal Methods in Computer Aided Design (FMCAD), 77-85, 2021 | 1 | 2021 |
| Fast Approximations of Quantifier Elimination I Garcia-Contreras, VKH Govind, S Shoham, A Gurfinkel International Conference on Computer Aided Verification, 64-86, 2023 | | 2023 |
| Strong Induction in Hardware Model Checking HG Vediramana Krishnan University of Waterloo, 2019 | | 2019 |
