David Cao -

Registered user since Thu 14 Jan 2021

Name:David Cao

Affiliation:University of California, San Diego

Personal website:https://cao.sh

GitHub:https://github.com/dcao

Contributions

POPL 2023	Author of babble: Learning Better Abstractions with E-Graphs and Anti-Unification within the POPL-track
PLDI 2022	Author of Type-Directed Program Synthesis for RESTful APIs within the PLDI-track
POPL 2021	Author of Automated Dependent Resource Analysis within the Student Research Competition-track