Yotam M. Y. Feldman

According to our database, Yotam M. Y. Feldman authored at least 13 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic.

James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022

Towards a Theory of Learning Inductive Invariants

Yotam M. Y. Feldman

PhD thesis, 2022

Property-directed reachability as abstract interpretation in the monotone theory.

Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox

Proc. ACM Program. Lang., 2022

Invariant Inference with Provable Complexity from the Monotone Theory.

Yotam M. Y. Feldman, Sharon Shoham

Proceedings of the Static Analysis - 29th International Symposium, 2022

SAT-Based Invariant Inference and Its Relation to Concept Learning.

Yotam M. Y. Feldman, Sharon Shoham

Proceedings of the Reachability Problems - 16th International Conference, 2022

2021

Learning the boundary of inductive invariants.

Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox

Proc. ACM Program. Lang., 2021

2020

Proving highly-concurrent traversals correct.

Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham

Proc. ACM Program. Lang., 2020

Complexity and information in invariant inference.

Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, Sharon Shoham

Proc. ACM Program. Lang., 2020

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

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2019

Bounded Quantifier Instantiation for Checking Inductive Invariants.

Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham

Log. Methods Comput. Sci., 2019

Inferring Inductive Invariants from Phase Structures.

Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Order out of Chaos: Proving Linearizability Using Local Views.

Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

2017

Property Directed Reachability for Proving Absence of Concurrent Modification Errors.

Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017