Yotam M. Y. Feldman
According to our database1, Yotam M. Y. Feldman authored at least 4 papers between 2017 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Inferring Inductive Invariants from Phase Structures.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Order out of Chaos: Proving Linearizability Using Local Views.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018
Property Directed Reachability for Proving Absence of Concurrent Modification Errors.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Bounded Quantifier Instantiation for Checking Inductive Invariants.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017