Sharon Shoham

Identifiers

No identifiers captured yet.

Papers (8)

1. Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property cs.LO · 2026 · author #2
2. Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy cs.LO · 2026 · author #4
3. Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics cs.PL · 2019 · author #5
4. Inferring Inductive Invariants from Phase Structures cs.PL · 2019 · author #3
5. Property Directed Self Composition cs.PL · 2019 · author #3
6. Undecidability of Inferring Linear Integer Invariants cs.PL · 2018 · author #1
7. Order out of Chaos: Proving Linearizability Using Local Views cs.DC · 2018 · author #5
8. Paxos Made EPR: Decidable Reasoning about Distributed Protocols cs.PL · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Oded Padon 3 shared papers
• Giuliano Losa 2 shared papers
• Mooly Sagiv 2 shared papers
• Yotam M. Y. Feldman 2 shared papers
• Adam Morrison 1 shared papers
• Arie Gurfinkel 1 shared papers
• Constantin Enea 1 shared papers
• Eden Frenkel 1 shared papers
• Idan Berkovits 1 shared papers
• James R. Wilcox 1 shared papers
• Kenneth L. McMillan 1 shared papers
• Marijana Lazic 1 shared papers
• Neta Elad 1 shared papers
• Noam Rinetzky 1 shared papers
• Ron Shemer 1 shared papers
• Yakir Vizel 1 shared papers