Oded Padon odedp@mail.tau.ac.il I am a fourth year PhD student in computer science at Tel Aviv University, advised by Professor Mooly Sagiv. My research interests are programming languages, verification, distributed systems, logic, and shape analysis. I am honored to be awarded a 2017 Google PhD Fellowship in programming languages. |
![]() |
Publications
- Reducing Liveness to Safety in First-Order Logic
(pdf)
(source files)
(web)
(video)
Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham. POPL 2018. - Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham. OOPSLA 2017.
(pdf) (full) (source files) (web) (video) - RATCOP: Relational Analysis Tool for Concurrent Programs (tool paper)
(pdf)
(tool)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky. HVC 2017. - Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs
(pdf)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky. SAS 2017. Radhia Cousot Young Researcher Best Paper Award. - Bounded Quantifier Instantiation for Checking Inductive Invariants
Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham. TACAS 2017.
(pdf) (extended) (source files) - Conjunctive Abstract Interpretation using Paramodulation
(pdf)
(tool)
Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv. VMCAI 2017. - Property Directed Reachability for Proving Absence of Concurrent Modification Errors
(pdf)
Asya Frumkin, Yotam M. Y. Feldman, Ondřej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham. VMCAI 2017. - Ivy: Safety Verification by Interactive Generalization
(pdf)
(tool)
(artifact)
(video)
Oded Padon, Kenneth McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham. PLDI 2016. - Decidability of Inferring Inductive Invariants
(pdf)
(video)
Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv. POPL 2016. - Decentralizing SDN Policies
(pdf)
Oded Padon, Neil Immerman, Ori Lahav, Aleksandr Karbyshev, Mooly Sagiv, Sharon Shoham. POPL 2015.