Yotam M. Y. Feldman

Identifiers

No identifiers captured yet.

Papers (2)

1. Inferring Inductive Invariants from Phase Structures cs.PL · 2019 · author #1
2. Order out of Chaos: Proving Linearizability Using Local Views cs.DC · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Sharon Shoham 2 shared papers
• Adam Morrison 1 shared papers
• Constantin Enea 1 shared papers
• James R. Wilcox 1 shared papers
• Mooly Sagiv 1 shared papers
• Noam Rinetzky 1 shared papers