yotamfe1 (at) mail (dot) tau (dot) ac (dot) il
I am a PhD student in the Programming Languages group at the Tel Aviv University, under the supervision of Prof. Mooly Sagiv and Dr. Sharon Shoham.
My research interests include program analysis, verification, formal logic, and the simulation of physical systems.
- Bounded Quantifier Instantiation for Checking Inductive Invariants
[extended version] [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)