Yotam Feldman yotamfe1 (at) mail (dot) tau (dot) ac (dot) il I am a postdoc in Dr. Barak Hirshberg's group at the School of Chemistry, Tel Aviv University, working on molecular dynamics simulations. I did my PhD in computer science as part of the Programming Languages group at Tel Aviv University, advised by Prof. Mooly Sagiv and Prof. Sharon Shoham. My research interests include molecular dynamics simulations, path integral molecular dynamics, program analysis and verification, formal logic, and the correctness of concurrent data structures.

Research

• Check out the talk Towards a Theory of Learning Inductive Invariants [video], from the Simons Institute for the Theory of Computing, Workshop on Synthesis of Models and Systems.

Publications + Talks

• Quadratic Scaling Bosonic Path Integral Molecular Dynamics [pdf] [slides] [video]
  Yotam M. Y. Feldman and Barak Hirshberg. JCP 2023.
• SAT-Based Invariant Inference and Its Relation to Concept Learning (Invited Paper) [pdf]
  Yotam M. Y. Feldman and Sharon Shoham. RP 2022.
• Invariant Inference With Provable Complexity From the Monotone Theory [pdf] [video] [slides]
  Yotam M. Y. Feldman and Sharon Shoham. SAS 2022.
• Property-Directed Reachability as Abstract Interpretation in the Monotone Theory [pdf] [video] [seminar video] [slides]
  Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, and James R. Wilcox. POPL 2022.
• Learning the Boundary of Inductive Invariants [pdf] [video] [slides]
  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] [video] [extended]
  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.

PhD Thesis

Towards a Theory of Learning Inductive Invariants [pdf]
Under the supervision of Prof. Mooly Sagiv and Prof. Sharon Shoham
Tel Aviv University (Submitted August 2022)
2024 ETAPS Dissertation Award. [slides]

MSc 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)

Teaching

• Compiler Construction (Winter 2020) discussed in a PL Perspective
• Concepts in Programming Languages (Spring 2019)