• Sign in
  • Sign up
conf.researchr.org / David Cao
  • PLDI 2022 profile
  • PLDI 2023 profile
  • POPL 2021 profile
  • POPL 2023 profile

Registered user since Thu 14 Jan 2021

Name:David Cao
Country:United States
Affiliation:University of California at San Diego
Personal website: https://cao.sh
GitHub: https://github.com/dcao

Contributions

2023

PLDI

  • Author of Better Together: Unifying Datalog and Equality Saturation within the PLDI Research Papers-track

POPL

  • Author of babble: Learning Better Abstractions with E-Graphs and Anti-unification within the POPL-track

2022

PLDI

  • Author of Type-Directed Program Synthesis for RESTful APIs within the PLDI-track

2021

POPL

  • Author of Automated Dependent Resource Analysis within the Student Research Competition-track
Share
xSat 2 Dec 12:25
using conf.researchr.org (v1.62.0)
Support page
Sign Up