Oded Padon

Registered user since Thu 30 Jun 2016

Name:Oded Padon
Country:United States
Affiliation:VMware Research; Stanford University
Research interests:Programming Languages, Formal Methods, Logic, Distributed Systems

Contributions

POPL 2022 Induction Duality: Primal-Dual Search for Invariants
VMCAI 2022 PC Member in Program Committee within the VMCAI 2022-track
Show activities from other conferences

POPL 2022-profile
View general profile