Yotam M. Y. Feldman
According to our database1, Yotam M. Y. Feldman authored at least 3 papers between 2017 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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