Yotam M. Y. Feldman

Publication Activity (10 Years)

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

Top Topics

Affine Invariant

Paying Attention

Inductive Learning

Top Venues

Proc. ACM Program. Lang.

Publications

James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham
mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic. CAV (2) (2024)
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Property-directed reachability as abstract interpretation in the monotone theory. Proc. ACM Program. Lang. 6 (POPL) (2022)
Yotam M. Y. Feldman, Sharon Shoham
SAT-Based Invariant Inference and Its Relation to Concept Learning. RP (2022)
Yotam M. Y. Feldman, Sharon Shoham
Invariant Inference With Provable Complexity From the Monotone Theory. CoRR (2022)
Yotam M. Y. Feldman, Sharon Shoham
Invariant Inference with Provable Complexity from the Monotone Theory. SAS (2022)
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Property-Directed Reachability as Abstract Interpretation in the Monotone Theory. CoRR (2021)
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Learning the boundary of inductive invariants. Proc. ACM Program. Lang. 5 (POPL) (2021)
Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg
The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics. Onward! (2020)
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Proving Highly-Concurrent Traversals Correct. CoRR (2020)
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Proving highly-concurrent traversals correct. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, Sharon Shoham
Complexity and information in invariant inference. Proc. ACM Program. Lang. 4 (POPL) (2020)
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Learning the Boundary of Inductive Invariants. CoRR (2020)
Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham
Bounded Quantifier Instantiation for Checking Inductive Invariants. Log. Methods Comput. Sci. 15 (3) (2019)
Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, Sharon Shoham
Complexity and Information in Invariant Inference. CoRR (2019)
Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
Inferring Inductive Invariants from Phase Structures. CoRR (2019)
Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
Inferring Inductive Invariants from Phase Structures. CAV (2) (2019)
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham
Order out of Chaos: Proving Linearizability Using Local Views. CoRR (2018)
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham
Order out of Chaos: Proving Linearizability Using Local Views. DISC (2018)
Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham
Bounded Quantifier Instantiation for Checking Inductive Invariants. TACAS (1) (2017)
Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham
Property Directed Reachability for Proving Absence of Concurrent Modification Errors. VMCAI (2017)
Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham
Bounded Quantifier Instantiation for Checking Inductive Invariants. CoRR (2017)