Write a Blog >>
PLDI 2020
Mon 15 - Sat 20 June 2020
Oded Padon

Registered user since Thu 30 Jun 2016

Name: Oded Padon

Affiliation: Stanford University, USA

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

Research interests: Programming Languages, Formal Methods, Logic, Distributed Systems


PLDI 2020Author of First-Order Quantified Separators within the PLDI Research Papers-track
Show activities from other conferences

Using general profile