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 2021 Author of Automated Dependent Resource Analysis within the Student Research Competition-track