Oded Padon

TASO

Zhihao Jia, Oded Padon, James J. Thomas et al. · 2019 · 236 citations · Full text

Convolutional Neural Network, Deep Neural Networks, Engineering +12

Ivy: safety verification by interactive generalization

Oded Padon, Kenneth L. McMillan, Aurojit Panda et al. · 2016 · 154 citations

Safety Case, Engineering, Interactive Generalization +17

Semantic program alignment for equivalence checking

Berkeley Churchill, Oded Padon, Rahul Sharma et al. · 2019 · 88 citations

Program Checking, Engineering, Verification +17

Quartz: superoptimization of Quantum circuits

Mingkuan Xu, Zikun Li, Oded Padon et al. · 2022 · 51 citations · Full text

Quantum Compilers, Quantum Science, Quantum Circuits +14

Modularity for decidability of deductive verification with applications to distributed systems

Marcelo Taube, Giuliano Losa, Kenneth L. McMillan et al. · 2018 · 49 citations · Full text

Engineering, Verification, Computer-aided Verification +19