Oded Padon

I am a researcher at VMware Research Group. Before that, I was a postdoc in Alex Aiken's group at Stanford University. Before that, I was a PhD student at Tel Aviv University, advised by Mooly Sagiv.

My research interests are programming languages, formal methods, logic, and distributed systems.

You may be interested in:

Ivy a system for verifying safety and liveness of distributed algorithms and distributed system implementations using decidable logics.

TASO Tensor Algebra SuperOptimizer that optimizes deep learning computations using automatically generated and verified graph transformations, achieving up to 3x speedup over other frameworks.

mypyvy a research platform for verification of infinite-state systems, inspired by Ivy.

How far can you EPR? a 30 minute talk summarizing my PhD research given at the virtual ETAPS 2020 Afternoon upon receiving the 2020 ETAPS Doctoral Dissertation Award.


(dblp) (google scholar)

PhD Thesis

Deductive Verification of Distributed Protocols in First-Order Logic (pdf)
School of Computer Science, Tel Aviv University, Israel. Submitted: 2018; Approved: 2019.

Recipient of the 2020 ETAPS Doctoral Dissertation Award.

During my PhD I was honored to be awarded a 2017 Google PhD Fellowship in programming languages.


Tel Aviv University