Yotam M. Y. Feldman

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