yotamfe1 (at) mail (dot) tau (dot) ac (dot) il
I am a PhD student in the Programming Languages group at Tel Aviv University, advised by Prof. Mooly Sagiv and Dr. Sharon Shoham.
My research interests include program analysis, verification, formal logic, distributed systems, concurrent data structures, and the simulation of physical systems.
- Inferring Inductive Invariants from Phase Structures
Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, and Mooly Sagiv. CAV 2019.
- Order out of Chaos: Proving Linearizability Using Local Views
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, and Sharon Shoham. DISC 2018.
- Bounded Quantifier Instantiation for Checking Inductive Invariants
[extended] [examples' source] [MSc thesis]
Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, and Sharon Shoham. TACAS 2017.
- Property Directed Reachability for Proving Absence of Concurrent Modification Errors
Asya Frumkin, Yotam M. Y. Feldman, Ondřej Lhoták, Oded Padon, Mooly Sagiv, and Sharon Shoham. VMCAI 2017.
M.Sc. ThesisBounded Quantifier Instantiation for Checking Inductive Invariants [pdf]
Under the supervision of Prof. Mooly Sagiv and Dr. Sharon Shoham
Tel Aviv University (Submitted February 2017)