Concepedia

Author

David Cao

University of California San DiegoORCID

Also Known As

Cao, David, David Cao

9

Publications

82

Citations

4

H-Index

17

Concepts

All Affiliations

University of California San DiegoUniversity of Washington
DC

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

60

2

Computer Science

2

2

60

3

Data Science

2

2

60

4

Data Management

1

1

26

5

Natural Language Processing

1

1

34

David Cao

×

3

Publications

74

Citations

3

H-Index

YearCitations

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

David Cao, Rose Kunkel, Chandrakana Nandi,

Proceedings of the ACM on Programming Languages

2023

34

Better Together: Unifying Datalog and Equality Saturation

Yihong Zhang, Yisu Remy Wang, Oliver Flatt,

Proceedings of the ACM on Programming Languages

2023

26

Type-directed program synthesis for RESTful APIs

Zheng Guo, David Cao, Davin Tjong,

2022

14

Page 1