Oded Padon

Identifiers

No identifiers captured yet.

Papers (5)

1. Prism: Symbolic Superoptimization of Tensor Programs cs.PL · 2026 · author #3
2. Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy cs.LO · 2026 · author #3
3. SPoC: Search-based Pseudocode to Code cs.LG · 2019 · author #5
4. Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics cs.PL · 2019 · author #4
5. Paxos Made EPR: Decidable Reasoning about Distributed Protocols cs.PL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Sharon Shoham 3 shared papers
• Giuliano Losa 2 shared papers
• Alex Aiken 1 shared papers
• Eden Frenkel 1 shared papers
• Idan Berkovits 1 shared papers
• Kartik Chandra 1 shared papers
• Kenneth L. McMillan 1 shared papers
• Marijana Lazic 1 shared papers
• Mengdi Wu 1 shared papers
• Mina Lee 1 shared papers
• Mooly Sagiv 1 shared papers
• Panupong Pasupat 1 shared papers
• Percy Liang 1 shared papers
• Sumith Kulal 1 shared papers
• Xiaoyu Jiang 1 shared papers
• Zhihao Jia 1 shared papers