Oded Padon

Registered user since Thu 30 Jun 2016

Name: Oded Padon

Country: United States

Affiliation: Stanford University

Personal website: https://cs.stanford.edu/~padon

Contributions

PLDI 2019 Semantic Program Alignment for Equivalence Checking
Show activities from other conferences

PLDI 2019-profile
View general profile