## Yotam FeldmanI am a PhD student in the Programming Languages group at Tel Aviv University, advised by Prof. Mooly Sagiv and Prof. Sharon Shoham. My research interests include program analysis, verification, formal logic, distributed systems, concurrent data structures, and the simulation of physical systems. |

# Publications

**Learning the Boundary of Inductive Invariants**[pdf]

Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, and James R. Wilcox.**POPL 2021**.**The Wonderful Wizard of LoC: Paying attention to the man behind the curtain of line-of-code metrics**[pdf] [video]

Kalev Alpernas, Yotam M. Y. Feldman, and Hila Peleg.**Onward! Essays 2020**.**Proving Highly-Concurrent Traversals Correct**[pdf] [extended] [video]

Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham.**OOPSLA 2020**.**Complexity and Information in Invariant Inference**[pdf] [video] [slides] [extended]

Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, and Sharon Shoham.**POPL 2020**.**Inferring Inductive Invariants from Phase Structures**[pdf] [video] [slides] [extended]

Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, and Mooly Sagiv.**CAV 2019**.**Order out of Chaos: Proving Linearizability Using Local Views**[pdf] [slides] [extended]

Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, and Sharon Shoham.**DISC 2018**.**Bounded Quantifier Instantiation for Checking Inductive Invariants**[journal] [conf] [slides]

Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, and Sharon Shoham.**TACAS 2017, LMCS 2019**.**Property Directed Reachability for Proving Absence of Concurrent Modification Errors**[pdf]

Asya Frumkin, Yotam M. Y. Feldman, Ondřej Lhoták, Oded Padon, Mooly Sagiv, and Sharon Shoham.**VMCAI 2017**.

## M.Sc. Thesis

**Bounded Quantifier Instantiation for Checking Inductive Invariants**[pdf]

Under the supervision of Prof. Mooly Sagiv and Prof. Sharon Shoham

Tel Aviv University

*(Submitted February 2017)*