Concepedia

David Cao

DC

3

Publications

74

Citations

3

H-Index

2022

Active since

Affiliations

University of California San Diego(Current)

University of Washington

David Cao is an author at University of California San Diego specializing in formal methods, engineering, and automated reasoning.

ORCID

Top concepts

Publications per year

2022–2023

3

Publications

3

babble: Learning Better Abstractions with E-Graphs and Anti-unification

David Cao, Rose Kunkel, Chandrakana Nandi et al. · Proceedings of the ACM on Programming Languages · 2023 · 34 citations · Full text

, , +16

Better Together: Unifying Datalog and Equality Saturation

Yihong Zhang, Yisu Remy Wang, Oliver Flatt et al. · Proceedings of the ACM on Programming Languages · 2023 · 26 citations · Full text

, , +20

Type-directed program synthesis for RESTful APIs

Zheng Guo, David Cao, Davin Tjong et al. · 2022 · 14 citations · Full text

Rows per page

1–3 of 3