Oded Padon
Senior Researcher
Palo Alto, CA, US
I'm interested in programming languages, formal methods, distributed systems, and logic.
External service:
- CAV 2024 PC
- PLDI 2023 PC
- POPL 2023 PC
- CAV 2022 PC
- OOPSLA 2022 PC
- VMCAI 2022 PC
- PLDI 2021 PC
- VMCAI 2021 PC
- CAV 2019 PC
Projects
Publications
- Adaptive Restarts for Stochastic Synthesis
- Induction Duality: Primal-Dual Search for Invariants
- Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms
- Quartz: Superoptimization of Quantum Circuits
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
- Leaf: Modularity for Temporary Sharing in Separation Logic