Yotam M. Y. Feldman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic. | James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham |
| 2022 | SAS | Invariant Inference with Provable Complexity from the Monotone Theory. | Yotam M. Y. Feldman, Sharon Shoham |
| 2020 | OOPSLA | The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics. | Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg |
| 2019 | CAV | Inferring Inductive Invariants from Phase Structures. | Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv |
| 2017 | TACAS | Bounded Quantifier Instantiation for Checking Inductive Invariants. | Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham |
| 2017 | VMCAI | Property Directed Reachability for Proving Absence of Concurrent Modification Errors. | Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhotk, Oded Padon, Mooly Sagiv, Sharon Shoham |