Oded Padon
Scholar

Oded Padon

Google Scholar ID: c0sx94MAAAAJ
Weizmann Institute of Science
Programming LanguagesVerificationFormal MethodsLogicDistributed Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,991
 
H-index
21
 
i10-index
27
 
Publications
20
 
Co-authors
77
list available
Contact
No contact links provided.
Publications
3 items
Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
2026
Cited
0
A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
2025
Cited
0
Mirage: A Multi-Level Superoptimizer for Tensor Programs
2024
Cited
3
Resume (English only)
Co-authors
77 total
Sharon Shoham
Sharon Shoham
Tel Aviv University
Co-author 2
Co-author 2
Alex Aiken
Alex Aiken
Professor of Computer Science, Stanford University
Kenneth McMillan
Kenneth McMillan
Microsoft Research
Zhihao Jia
Zhihao Jia
Assistant Professor of Computer Science, Carnegie Mellon University
Giuliano Losa
Giuliano Losa
Stellar Development Foundation
Neil Immerman
Neil Immerman
College of Computer and Information Sciences, UMass, Amherst
Matei Zaharia
Matei Zaharia
UC Berkeley and Databricks