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.

mypyvy a research platform for verification of infinite-state systems focusing on automated invariant inference, inspired by Ivy.

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

Quartz a superoptimizer for quantum circuits that automatically generates, verifies, and applies circuit transformations, outperforming other quantum circuit optimizers on a range of quantum gate sets.

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