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

• Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs
  Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky. SAS 2017.
• Bounded Quantifier Instantiation for Checking Inductive Invariants (pdf) (extended) (source files)
  Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham. TACAS 2017.
• 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.

Teaching

• Concepts in Programming Languages
  • Winter 2016-2017
  • Spring 2015-2016
  • Spring 2014-2015
• Programming in Python for Engineers (Fall 2015-2016)
• Automatic Software Verification (Spring 2014-2015)