| Inferring inductive invariants from phase structures YMY Feldman, JR Wilcox, S Shoham, M Sagiv Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 41 | 2019 |
| Bounded quantifier instantiation for checking inductive invariants YMY Feldman, O Padon, N Immerman, M Sagiv, S Shoham Logical Methods in Computer Science 15, 2019 | 27 | 2019 |
| Proving highly-concurrent traversals correct YMY Feldman, A Khyzha, C Enea, A Morrison, A Nanevski, N Rinetzky, ... Proceedings of the ACM on Programming Languages 4(OOPSLA), 1-29, 2020 | 22 | 2020 |
| Order out of chaos: Proving linearizability using local views YMY Feldman, C Enea, A Morrison, N Rinetzky, S Shoham 32nd International Symposium on Distributed Computing (DISC 2018), 2018 | 19 | 2018 |
| Complexity and information in invariant inference YMY Feldman, N Immerman, M Sagiv, S Shoham Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 16 | 2019 |
| The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics K Alpernas, YMY Feldman, H Peleg Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020 | 13 | 2020 |
| Quadratic Scaling Bosonic Path Integral Molecular Dynamics YMY Feldman, B Hirshberg The Journal of Chemical Physics, 154107 159 (15), 154107, 2023 | 10 | 2023 |
| i-PI 3.0: a flexible, efficient framework for advanced atomistic simulations Y Litman, V Kapil, YMY Feldman, D Tisi, T Begušić, K Fidanyan, G Fraux, ... arXiv preprint arXiv:2405.15224, 2024 | 8 | 2024 |
| Learning the boundary of inductive invariants YMY Feldman, M Sagiv, S Shoham, JR Wilcox Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021 | 7 | 2021 |
| Property-directed reachability as abstract interpretation in the monotone theory YMY Feldman, M Sagiv, S Shoham, JR Wilcox Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 6 | 2022 |
| Property directed reachability for proving absence of concurrent modification errors A Frumkin, YMY Feldman, O Lhoták, O Padon, M Sagiv, S Shoham Verification, Model Checking, and Abstract Interpretation: 18th …, 2017 | 6 | 2017 |
| Invariant inference with provable complexity from the monotone theory YMY Feldman, S Shoham Static Analysis: 29th International Symposium, SAS 2022, Auckland, New …, 2022 | 3 | 2022 |
| mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic JR Wilcox, YMY Feldman, O Padon, S Shoham International Conference on Computer Aided Verification, 71-85, 2024 | 1 | 2024 |
| Periodic Boundary Conditions for Bosonic Path Integral Molecular Dynamics J Higer, YMY Feldman, B Hirshberg arXiv preprint arXiv:2501.17618, 2025 | | 2025 |
| Optimal Symbolic Bound Synthesis J Cyphert, Y Feldman, Z Kincaid, T Reps arXiv preprint arXiv:2310.13144, 2023 | | 2023 |
| SAT-Based Invariant Inference and Its Relation to Concept Learning YMY Feldman, S Shoham Reachability Problems: 16th International Conference, RP 2022 …, 2022 | | 2022 |
| Towards a Theory of Learning Inductive Invariants YMY Feldman Tel Aviv University, Israel, 2022 | | 2022 |
| Corrigendum to “Proving Highly-Concurrent Traversals Correct” by Feldman et al., Proceedings of the ACM on Programming Languages (PACMPL), Volume 4, Issue OOPSLA, Article No. 128 YMY FELDMAN, C ENEA, A MORRISON, A NANEVSKI, N RINETZKY | | |